(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

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

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