Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.totient_dvd_of_dvd

Modification history

2022-08-10 08:06
src/data/nat/totient.lean
feat(data/nat/totient): add lemma `totient_dvd_of_dvd` (#15642) …
Added nat.totient_dvd_of_dvdView on Github →