Commit 2024-10-23 13:28 3b908218
View on Github →feat(RingTheory/Flat/FaithfullyFlat): faithful flatness in terms of exactness (#17869) $M$ is faithfully flat if and only if $M$ is flat and $- \otimes M$ preserves and reflects short exact sequences
feat(RingTheory/Flat/FaithfullyFlat): faithful flatness in terms of exactness (#17869) $M$ is faithfully flat if and only if $M$ is flat and $- \otimes M$ preserves and reflects short exact sequences