Definitions
bool
1
Doc
At:
comb
for
band
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)