Skip to content

Files

Latest commit

9e58500 · Jun 17, 2023

History

History
5 lines (4 loc) · 86 Bytes

Main.lean

File metadata and controls

5 lines (4 loc) · 86 Bytes