Local structure theorems for smooth maps of formal schemes | Publicación