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

At: rem antisym 2 2
1. a:, b:. ((-a) rem b) = -(a rem b)
2. a:
3. b:
4. 0b

((-a) rem b) = -(a rem b)
By:
RWH (RevLemmaC Thm* a:, b:. (a rem -b) = (a rem b)) 0
THEN
BackThru 1
Generated subgoals:

None

About:
intnatural_numberminusremainderequalall

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