Definitions bool 1 Doc

At: iff imp equal bool

a,b:. (a b) a = b
By: UnivCD
Generated subgoal:

11. a:
2. b:
3. a b
a = b