Welcome to the documentation page

This was built using Lean 4 at commit ec3042d94bd11a42430f9e14d39e26b1f880f99b