Stream: Is there code for X?
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 :)
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