TY - RPRT TI - A short proof of smooth implies flat AU - Jesús Conde-Lago PY - 2016 UR - https://arxiv.org/abs/1504.05709 ID - 1504.05709 ER -