Definitions bool 1 Doc

At: assert of lt int 1 2 1
1. x:
2. y:
3. false
4. x < y

x < y
By:
AssertLemma Thm* false []
THEN
Trivial
Generated subgoals:

None