Theorem Module.FaithfullyFlat.iff_exact_iff_lTensor_exact

Modification history

2024-10-23 13:28
Mathlib/RingTheory/Flat/FaithfullyFlat.lean
feat(RingTheory/Flat/FaithfullyFlat): faithful flatness in terms of exactness (#17869) …
Added Module.FaithfullyFlat.iff_exact_iff_lTensor_exactView on Github →