Definitions bool 1 Doc

At: comb for bnot wf

(b,z. b) True
By: ProveOpCombTyping Thm* b:. b
Generated subgoals:

None