A Fractal View of Lean

15th November 2016