mul_right_comm_monoid

Stream: Is there code for X?

[Anne Baanen]

Damiano Testa said:

I also just noticed that this might be the first time that a PR of mine actually has a net negative effect on the number of lines of code in mathlib.

"Fools ignore complexity. Pragmatists suffer it. Some can avoid it. Geniuses remove it." Congratulations, you are now a genius :)

[Notification Bot]

This topic was moved here from #new members > mul_right_comm_monoid by Scott Morrison