Localization of formal smoothness | Publicación