Definitions bool 1 Doc

At: bnot bnot elim

p:. p = p
By: Analyze 0
Generated subgoal:

11. p:
p = p