fix(frontends/lean/elaborator): style
fix(frontends/lean/elaborator): style