Go back to the tag's page.
Tags: Added new tags
Infinitesimal lifting criterion Proof (finally) of the relation between smooth and formally smooth morphisms of algebraic spaces.