Commit 2022-02-09 18:57 2726e238
View on Github →feat(algebra.group.hom_instances): Define left and right multiplication operators (#11843) Defines left and right multiplication operators on non unital, non associative semirings. Suggested by @ocfnash for #11073