Theorem Module.FaithfullyFlat.lTensor_reflects_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.lTensor_reflects_exactView on Github →