Go back to the tag's page.
Clarify defos of maps thickenings
Tags: Added new tags
Universal first order thickening Existence in the case of a formally unramified morphism and consequences.