Theorem AddUnits.neg_mulLeft

Modification history

2025-10-03 15:29
Mathlib/Algebra/Ring/Invertible.lean
chore(Algebra/Ring/Invertible): fix two names (#30166)
Added AddUnits.neg_mulLeftView on Github →