5 ms·I, too, like it when my theorems have zero 'sorry's in them.by utrack 3mo agoI, too, like it when my theorems have zero 'sorry's in them.