2 ms·Proof abundance and the new unit of mathematical work1 points by lemma1729 23d agodeleted 23d ago[deleted]lemma1729 23d ago[flagged]