Theorem Module.Flat.isBaseChange

Modification history

2025-01-17 07:37
Mathlib/RingTheory/Flat/Stability.lean
feat(RingTheory): flatness over a semiring (#19115) …
Modified Module.Flat.isBaseChangeView on Github →
2024-11-16 08:30
Mathlib/RingTheory/Flat/Stability.lean
feat: tensor product of two flat modules is flat (#18745) …
Modified Module.Flat.isBaseChangeView on Github →
2024-04-03 19:49
Mathlib/RingTheory/Flat/Stability.lean
feat(RingTheory/Flat): flat is stable under base change (#11614) …
Added Module.Flat.isBaseChangeView on Github →