Definitions bool 1 Doc

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

x < z y
By:
Unfold `lt_int` 0
THEN
RWH (ReduceThenC Auto) 0
Generated subgoal:

1 true