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

At: ndiff ndiff 1
1. a:
2. b:
3. c:

imax(imax(a-b;0)-c;0) = imax(a-(b+c);0)
By: ArithSimp 0
Generated subgoal:

1 imax(-c+imax(a+-b;0);0) = imax(a+-b+-c;0)

About:
intnatural_numberminusaddsubtractequal

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