Theorem Module.FaithfullyFlat.exact_iff_rTensor_exact

Modification history

2025-02-12 21:23
Mathlib/RingTheory/Flat/FaithfullyFlat/Basic.lean
feat(RingTheory/FaithfullyFlat): equivalent characterizations for algebras (#20725) …
Deleted Module.FaithfullyFlat.exact_iff_rTensor_exactView on Github →
2024-10-23 13:28
Mathlib/RingTheory/Flat/FaithfullyFlat.lean
feat(RingTheory/Flat/FaithfullyFlat): faithful flatness in terms of exactness (#17869) …
Added Module.FaithfullyFlat.exact_iff_rTensor_exactView on Github →