Welcome to the documentation page

This was built using Lean 4 at commit 225e08965d644715e8961cd205ffedf1cf7d24c2