Commit 2024-04-03 19:49 ff36646a
View on Github →feat(RingTheory/Flat): flat is stable under base change (#11614)
Shows that Module.Flat is stable under arbitrary base change of rings. Also adds the corresponding version for Algebra.Flat.
feat(RingTheory/Flat): flat is stable under base change (#11614)
Shows that Module.Flat is stable under arbitrary base change of rings. Also adds the corresponding version for Algebra.Flat.