Theorem RingHom.FormallySmooth.comp

Modification history

2026-03-22 11:44
Mathlib/RingTheory/RingHom/Smooth.lean
feat(RingTheory/Smooth): composition of formally smooth ring hom (#36513) …
Added RingHom.FormallySmooth.compView on Github →