How to Search for Theorems in Lean 4

4 points| lakesare | 8 months ago |lakesare.brick.do