All Questions

If $k$ is a field and $A$ is a formally smooth $k$-algebra, then we know that $\Omega^{1}_{A/k}$ is projective. What about its cotangent complex $L_{A/k}$? When is it quasi-isomorphic to $\Omega^{1}_{...