The Lean Toolbox Pdf 〈Authentic × 2024〉