unramified morphisms are stable under base change. (#15243)

Commit

3 years ago

feat(ring_theory): Formally étale/smooth/unramified morphisms are stable under base change. (#15243)

Author

erdOne

Parents