Theorem Module.Flat.iff_rTensor_injective'

Modification history

2023-11-19 22:31
Mathlib/RingTheory/Flat.lean
Extend RingTheory.Flat.iff_rTensor_injective to all ideals (#8494) …
Added Module.Flat.iff_rTensor_injective'View on Github →