Theorem Int.units_ne_iff_eq_neg
Modification history
2024-11-04 20:32
Mathlib/Algebra/Ring/Int/Parity.lean
chore(Algebra/Ring/Int): split `Algebra/Ring/Int.lean` into `Defs`, `Parity` and `Units` (#18526) …
Modified Int.units_ne_iff_eq_negView on Github →