(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: ndiff inv 1
1. a:
2. b:

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

None

About:
intnatural_numberaddsubtractequal

(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc