Commit 2024-05-04 06:09 447d24f8
View on Github →replay: #3604 for MonoidAlgebra (#12646)
Weaken a couple of DistribSMul to SMulZero in MonoidAlgebra.
This parallels the analogous assumptions in the AddMonoidAlgebra instances that were weakened in #3604.
Found in the context of unifying AddMonoidAlgebra and MonoidAlgebra.