Commit 2026-03-22 11:44 ee471f19
View on Github →feat(RingTheory/Smooth): composition of formally smooth ring hom (#36513) Add the lemma that composition of formally smooth ring hom is formally smooth.
feat(RingTheory/Smooth): composition of formally smooth ring hom (#36513) Add the lemma that composition of formally smooth ring hom is formally smooth.