Theorem pow_dvd_pow_iff

Modification history

2024-05-25 19:14

Mathlib/Algebra/GroupPower/Ring.lean

chore: Delete `Algebra.GroupPower.Ring` (#12957) …

Modified pow_dvd_pow_iff View on Github →

2022-12-13 21:37

Mathlib/Algebra/GroupPower/Ring.lean

feat: port Algebra.GroupPower.Ring (#979) …

Added pow_dvd_pow_iff View on Github →