Definition 76.19.1. Let S be a scheme. A morphism f : X \to Y of algebraic spaces over S is said to be formally smooth if it is formally smooth as a transformation of functors as in Definition 76.13.1.
Definition 76.19.1. Let S be a scheme. A morphism f : X \to Y of algebraic spaces over S is said to be formally smooth if it is formally smooth as a transformation of functors as in Definition 76.13.1.
Comments (0)