This file is intended for Lean beginners. The goal is to demonstrate what it feels like to prove things using Lean and mathlib. Complicated definitions and theory building are not covered. Everything ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback