Theorem AddUnits.neg_mulRight

Modification history

2025-10-03 15:29

Mathlib/Algebra/Ring/Invertible.lean

chore(Algebra/Ring/Invertible): fix two names (#30166)

Added AddUnits.neg_mulRight View on Github →