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

At: rem mag bound 1 1


a:, n:. |a rem n| < |n|

By: UnivCD

Generated subgoal:

11. a:
2. n:
|a rem n| < |n|


About:
remainderless_thanall

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