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

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

((-a) rem b) = -(a rem b)
By: BackThru 1
Generated subgoals:

None

About:
intnatural_numberminusremainderequalall

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