My Lean4 math code
Get started by installing Lean here: https://leanprover-community.github.io/get_started.html
To use this project, follow the instructions at https://leanprover-community.github.io/install/project.html#working-on-an-existing-project