Commit 2023-09-04 13:18 fa813a8e

View on Github →

feat(Int/Units): a few lemmas about ℤˣ (#6933)

Estimated changes

Modified Mathlib/Data/Int/Units.lean

added theorem Int.neg_units_ne_self

added theorem Int.units_ne_iff_eq_neg

added theorem Int.units_ne_neg_self