3 ms·Formal math in theorem proper with copious marginalia +1by Ericson2314 10y agoFormal math in theorem proper with copious marginalia +1