Definitions bool 1 Doc

At: assert of eq bool 1 1 2
1. true = false

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

None