Commit 2024-06-22 09:37 ca53aab4

View on Github →

feat: unramified, smooth, etale are stable under base change (#14020)

Estimated changes

modified theorem Algebra.Etale.comp
modified theorem Algebra.Smooth.comp
modified theorem Algebra.Unramified.comp