Definitions bool 1 Doc

At: eqtt to assert 1 2
1. false = true

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

None