Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.pow_dvd_pow_iff

Modification history

2018-07-22 15:03
data/nat/gcd.lean
refactor(data/nat/gcd): simplify proof of pow_dvd_pow_iff
Added nat.pow_dvd_pow_iffView on Github →