6 ms·Is any piece you've seen in good enough shape to be in a Lean library?by refulgentis 12d agoIs any piece you've seen in good enough shape to be in a Lean library?