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

At: imin add r 1 1
1. a:
2. b:
3. c:

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

None

About:
intminusaddequal

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