Definitions bool 1 Doc

At: assert of bnot 2
1. p:

p (p)
By:
BoolInd 1
THEN
Unfolds [`assert`;`bnot`;`not`] 0
THEN
Rewrite (RepeatC (HigherC ifthenelse_evalC)) 0
Generated subgoal:

11. True False
False