Theorem pow_eq_one_iff_of_coprime

Modification history

2025-12-12 08:03
Mathlib/Data/Int/GCD.lean
feat: strengthen `pow_gcd_eq_one` (#32464) …
Added pow_eq_one_iff_of_coprimeView on Github →