Commit 2024-09-18 11:42 74768784
View on Github →feat(RingTheory/StandardSmooth): base change of standard smooth algebras (#16853) Shows that being standard smooth is stable under base change. This contribution was created as part of the AIM workshop "Formalizing algebraic geometry" in June 2024.