Definition 10.136.1. A ring map $R \to S$ is smooth if it is of finite presentation and the naive cotangent complex $\mathop{N\! L}\nolimits _{S/R}$ is quasi-isomorphic to a finite projective $S$-module placed in degree $0$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).