Definitions
bool
1
Doc
At:
comb
for
bimplies
wf
(
p,q,z. p
q)
True
By:
ProveOpCombTyping Thm*
p,q:
. p
q
Generated subgoals:
None
(
p,q,z. p
q) 
True
p,q:. pq