Commit 2024-10-16 11:05 6eec4279

View on Github →

feat(RingTheory/StandardSmooth): meta properties of standard smooth ring homomorphisms (#16868) In particular we show that being standard smooth is stable under composition and base change. This contribution was created as part of the AIM workshop "Formalizing algebraic geometry" in June 2024.

Estimated changes