Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes | Publicación