zavřít
lean.tex