Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-22 14:37 ffb72292

View on Github →

feat(data/nat/gcd): dvd_of_pow_dvd_pow

Estimated changes

Modified data/nat/basic.lean

added theorem nat.mul_pow

Modified data/nat/gcd.lean

added theorem nat.dvd_of_pow_dvd_pow