Comment by sebzim4500

You read them? People are acting as if Lean definitions are some black art that only 3 people understand, but you can literally just do the tutorial and you will be able to understand the statement of most of these results.

Understanding the proofs is a different story unfortunately.