Welcome to the documentation page

This was built using Lean 4 at commit 873ef2d894af80d8fc672e35f7e28bae314a1f6f