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

At: rem mag bound 2 1
1. a:, n:. |a rem n| < |n|
2. a:
3. n:
4. n0

|a rem n| < |n|
By: BackThru 1
Generated subgoals:

None

About:
intnatural_numberremainderless_thanall

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