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

At: mod bounds 1 1 1
1. a:
2. n:
3. (a mod n)
4. (a mod n)0

0(a mod n)
By: Auto
Generated subgoals:

None

About:
intnatural_numbermember

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