Definitions bool 1 Doc

At: bnot bnot elim 1
1. p:

p = p
By: BoolEval
Generated subgoals:

1 true = true
2 false = false