(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval eq 1 1 4
1. x:
2. y:
3. x < 0
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