(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

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

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

None

About:
intnatural_numberequal

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc