Welcome to the documentation page

This was built using Lean 4 at commit 410fab7284703f41660ca2454218dcca9b2ec896