Welcome to the documentation page

This was built using Lean 4 at commit fafd381c90598fe9969f3cb8f1df9b3d1b87a219