Commit 2021-08-15 21:24 9af80f36
View on Github →feat(algebra/opposites): more scalar action instances (#8672)
This adds weaker and stronger versions of monoid.to_opposite_mul_action for has_mul, monoid_with_zero, and semiring. It also adds an smul_comm_class instance.