Theorem Int.dvd_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.dvd_of_pow_dvdView on Github →
2023-04-12 19:26
Mathlib/Data/Int/Dvd/Pow.lean
feat: Dot notation aliases (#3303) …
Modified Int.dvd_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.dvd_of_pow_dvdView on Github →