Mathlib Changelog
v4
Changelog
About
Github
Theorem
Algebra.Flat.comp
Modification history
2024-04-03 19:49
Mathlib/RingTheory/Flat/Algebra.lean
feat(RingTheory/Flat): flat is stable under base change (#11614) …
Modified
Algebra.Flat.comp
View on Github →
2024-02-01 18:09
Mathlib/RingTheory/Flat/Algebra.lean
feat(RingTheory/Flat): definition of flat ring homomorphism and stability under composition (#10148) …
Added
Algebra.Flat.comp
View on Github →