Commit 2023-11-19 22:31 c6979569

View on Github →

Extend RingTheory.Flat.iff_rTensor_injective to all ideals (#8494) Extend RingTheory.Flat.iff_rTensor_injective to all ideals Using an elementary argument after Dummit and Foote (2004, Ex. 10.25)

Estimated changes