The Ultimate Guide to Starting Lean: Bootstrapping Basics