Theorem Int.pow_dvd_of_le_of_pow_dvd

Modification history

2024-05-13 15:49
Mathlib/Data/Int/Dvd/Pow.lean
chore: Delete `Data.Int.Dvd.Pow` (#12823) …
Deleted Int.pow_dvd_of_le_of_pow_dvdView on Github →
2022-12-17 23:54
Mathlib/Data/Int/Dvd/Pow.lean
feat: port Data.Int.Dvd.Pow (#1087) …
Added Int.pow_dvd_of_le_of_pow_dvdView on Github →