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