graph 1 1 Sections Graphs Doc

RankTheoremName
6 Thm* a:, n:, q:, r:. a = qn+r r < n q = (a n) & r = (a mod n)[div_floor_mod_unique]
cites
2 Thm* a:, n:. a = (a n)n+(a mod n) & (a mod n) < n[div_floor_mod_properties]
5 Thm* a,b:. |ab| = |a||b|[absval_mul]
0 Thm* a,b:, n:. ab nanb[mul_preserves_le]

graph 1 1 Sections Graphs Doc