Welcome to the documentation page

This was built using Lean 4 at commit 8f9843a4a5fe1b0c2f24c74097f296e2818771ee