(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc

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

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

None

About:
intnatural_numberequal

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc