(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: ndiff id r 1
1. a:

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

None

About:
intnatural_numbersubtractequal

(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc