Theorem AddUnits.neg_mul_right

Modification history

2025-10-03 15:29
Mathlib/Algebra/Ring/Invertible.lean
chore(Algebra/Ring/Invertible): fix two names (#30166)
Deleted AddUnits.neg_mul_rightView on Github →
2025-09-20 08:39
Mathlib/Algebra/Ring/Invertible.lean
feat(Algebra): preliminaries for ring structure on `AddLocalization` (#29597)
Added AddUnits.neg_mul_rightView on Github →