(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: ndiff ann l 1
1. a:

imax(0-a;0) = 0
By:
Unfold `imax` 0
THEN
SplitOnConclITE
Generated subgoals:

None

About:
intnatural_numbersubtractequal

(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc