Theorem IsRightCancelMulZero.faithfulSMul

Modification history

2026-08-24 14:55
Mathlib/Algebra/GroupWithZero/Action/Faithful.lean
chore: delete deprecated modules from February 2026 (#43057) …
Deleted IsRightCancelMulZero.faithfulSMulView on Github →
2026-02-04 17:03
Mathlib/Algebra/GroupWithZero/Action/Faithful.lean
feat: clean up `Mul` -> `FaithfulSMul` instance structure (#34789) …
Added IsRightCancelMulZero.faithfulSMulView on Github →