formally unramified morphism adjective

References