basic): four lemmas about integer divisibility (#10602)

Commit

4 years ago

feat(data/int/basic): four lemmas about integer divisibility (#10602) Theorem 1.1, parts (c), (i), (j), and (k) of Apostol (1976) Introduction to Analytic Number Theory

Author

stuart-presnell

Parents

eec4b70c

mathlib cd857f77 - feat(data/int/basic): four lemmas about integer divisibility (#10602)

mathlib
cd857f77 - feat(data/int/basic): four lemmas about integer divisibility (#10602)