3 ms·Possibly but lean libraries currently contain a tiny fraction of widely known mathematical results.by sebzim4500 2y agoPossibly but lean libraries currently contain a tiny fraction of widely known mathematical results.