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

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

0(a mod n)
By: Analyze 3
Generated subgoal:

13. (a mod n)
4. (a mod n)0
0(a mod n)

About:
intnatural_numbermember

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