Comment by baby

It’s easy to verify the lean statement, you don’t need to read the proof. That is part of the breakthrough