Theorem RightCancelMonoid.faithfulSMul

Modification history

2026-08-31 13:50
Mathlib/Algebra/Group/Action/Faithful.lean
chore: delete deprecated declarations from February 2026 (#43178) …
Deleted RightCancelMonoid.faithfulSMulView on Github →
2026-02-04 17:03
Mathlib/Algebra/Group/Action/Faithful.lean
feat: clean up `Mul` -> `FaithfulSMul` instance structure (#34789) …
Added RightCancelMonoid.faithfulSMulView on Github →