A short proof of smooth implies flat
arXiv:1504.05709
Abstract
Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.
arXiv commentv2: minor changes; v3: slight improvements regarding v2