Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-22 15:03 e74ff76c

View on Github →

refactor(data/nat/gcd): simplify proof of pow_dvd_pow_iff

Estimated changes

Modified algebra/ring.lean

Modified data/nat/basic.lean

added theorem nat.pow_dvd_pow_of_dvd

Modified data/nat/gcd.lean

deleted theorem nat.dvd_of_pow_dvd_pow

added theorem nat.pow_dvd_pow_iff