Theorem IsLocalization.flat

Modification history

2025-01-17 07:37
Mathlib/RingTheory/Flat/Localization.lean
feat(RingTheory): flatness over a semiring (#19115) …
Modified IsLocalization.flatView on Github →
2024-11-06 11:22
Mathlib/RingTheory/Flat/Localization.lean
feat: localization is flat (#18683)
Added IsLocalization.flatView on Github →