Theorem Int.gcd_ofNat_negSucc

Modification history

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