Theorem AddUnits.neg_mul_neg

Modification history

2025-09-20 08:39
Mathlib/Algebra/Ring/Invertible.lean
feat(Algebra): preliminaries for ring structure on `AddLocalization` (#29597)
Added AddUnits.neg_mul_negView on Github →