(8steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: div rem properties 1 1
1. a:
2. n:
3. a = (a n)n+(a rem n)
(0 n) = 0
By: Lemmaize []
Generated subgoal:

11. n:
(0 n) = 0		3 steps

About:
intnatural_numberaddmultiplydivideremainderequal

(8steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc