Theorem pow_intGCD_eq_one

Modification history

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