Welcome to the documentation page

This was built using Lean 4 at commit 0edf1bac392f7e2fe0266b28b51c498306363a84