Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.dvd_of_pow_dvd_pow

Modification history

2018-07-22 15:03
data/nat/gcd.lean
refactor(data/nat/gcd): simplify proof of pow_dvd_pow_iff
Deleted nat.dvd_of_pow_dvd_powView on Github →
2018-07-22 14:37
data/nat/gcd.lean
feat(data/nat/gcd): dvd_of_pow_dvd_pow
Added nat.dvd_of_pow_dvd_powView on Github →