Lean for dummies

Lean for dummies