4 ms·It's a controversial but good opinion. Mathlib marches on and gets better and better.by Ericson2314 5y agoIt's a controversial but good opinion. Mathlib marches on and gets better and better.