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.