Add Lean-diagram article