Zulip Chat Archive

Stream: Is there code for X?

Topic: mul_right_comm_monoid

view this post on Zulip Anne Baanen (Apr 09 2021 at 21:19):

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 :)

view this post on Zulip Notification Bot (Apr 10 2021 at 00:05):

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

Last updated: May 07 2021 at 22:14 UTC