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

At: ndiff add eq imax 1
1. a:
2. b:

imax(a-b;0)+b = imax(a;b)
By: RWH (LemmaC Thm* a,b,c:. imax(a;b)+c = imax(a+c;b+c)) 0
Generated subgoals:

None

About:
intnatural_numberaddsubtractequal

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