TY - RPRT TI - A descent theorem for formal smoothness AU - Javier Majadas PY - 2019 UR - https://arxiv.org/abs/1209.5055 ID - 1209.5055 ER -