b == if b
True else False fi
Thm* 
b:
. b 
Prop
A == A 
False
Thm* A:Prop. (A) Prop
to a Prop is normally invisible since it is pretty obvious when it is
needed.
| assert |
Def b == if b True else False fi
Thm* |
| not |
Def A == A False
Thm* |
About:
 |  |  |  |  |
 |  |  |  |  |