All Questions

From this answer I learned that Grothendieck proved the following result. Theorem. Every formally smooth morphism between locally noetherian schemes is flat. The book Smoothness, Regularity, and ...