2 lines
31 B
Text
2 lines
31 B
Text
|
Notation "A /\ B" := (and A B)
|
|
|
Notation "A /\ B" := (and A B)
|