Definitions bool 1 Doc

At: eqff to assert 2 1 1
1. false

true = false
By:
AssertLemma Thm* false []
THEN
Trivial
Generated subgoals:

None