Theorem LeftCancelMonoid.to_faithfulSMul_mulOpposite

Modification history

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