Definitions
bool
1
Doc
At:
assert
of
bor
p,q:
. (p
q)
p
q
By:
UnivCD
Generated subgoal:
1
1.
p:
2.
q:
(p
q)
p
q
p,q:
. (p 
q) 
p q