Commit 2024-03-02 17:21 146948d7
View on Github →feat(RingTheory/Flat/Basic): a module is flat iff tensoring preserves injectivity of linear maps (#9120)
feat(RingTheory/Flat/Basic): a module is flat iff tensoring preserves injectivity of linear maps (#9120)