(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: rem bounds 1

a:, n:. 0(a rem n) & (a rem n) < n
By: UnivCD
Generated subgoal:

11. a:
2. n:
0(a rem n) & (a rem n) < n

About:
natural_numberremainderless_thanandall

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc