formally smooth morphism adjective

References