Theorem Module.FaithfullyFlat.range_le_ker_of_exact_rTensor

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.range_le_ker_of_exact_rTensorView on Github →