(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval eq 1 1 3
1. x:
2. y:
3. x < 0
4. 0y

-x = y x = y
By:
Unfold `pm_equal` 0
THEN
Try (Analyze -1)
Generated subgoals:

None

About:
intnatural_numberminusless_thanequal

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc