Definitions bool 1 Doc

At: eqtt to assert 2 2
1. false

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

None