Theorem Int.gcd_negSucc_ofNat

Modification history

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