Theorem MulOpposite.isRightCancelMulZero_iff

Modification history

2025-07-18 23:34
Mathlib/Algebra/GroupWithZero/Opposite.lean
feat(Algebra): MulOpposite lemmas (#27263) …
Added MulOpposite.isRightCancelMulZero_iffView on Github →