(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval zero 1 2
1. i:
2. i < 0

-i = 0 i = 0
By: Auto
Generated subgoals:

None

About:
intnatural_numberminusless_thanequal

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc