PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
zero
mod
n:
. (0 mod n) = 0
By:
Auto
THEN
Inst
Thm*
a:
, n:
, q:
, r:
. a = q
n+r
r < n
q = (a
n) & r = (a mod n) [0;n;0;0]
Generated subgoals:
None
About:
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
n:
. (0 mod n) = 0
a:
, n:, q:, r:. a = q
n+r 
r < n q = (a 
n) & r = (a mod n)
[0;n;0;0]