formally smooth morphism adjective

References

• Stacks Project, https://stacks.math.columbia.edu/tag/02H0 (Fabio)