(6steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: ndiff ndiff eq imin 1 1 1 1
1. a:
2. b:
3. ab

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

None

About:
intnatural_numberequal

(6steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc