Commit 2023-11-30 16:55 6f6ec738
View on Github →feat: MulAction by product monoid (#8634) Commuting (Distrib)MulActions by two monoids on the same type give rise to a (Distrib)MulAction by the product monoid, and vice versa.
feat: MulAction by product monoid (#8634) Commuting (Distrib)MulActions by two monoids on the same type give rise to a (Distrib)MulAction by the product monoid, and vice versa.