A Lean companion to “Analysis I”By adminJune 2, 20250 Almost 20 years ago, I wrote a textbook in real analysis called “Analysis I“. It was intended to complement the…