@misc{indiciae945ba39c535b,
  title = {A descent theorem for formal smoothness},
  author = {Javier Majadas},
  year = {2019},
  url = {https://arxiv.org/abs/1209.5055},
  note = {Source identifier: 1209.5055}
}