4 ms·Yeah, random people on HN are much better judges of importance of mathematical results.by kadoban 2y agoYeah, random people on HN are much better judges of importance of mathematical results.