Welcome to the documentation page

This was built using Lean 4 at commit 1b099521c1bfd5fbcbb90808396b767f0bb3e661