Theorem Module.FaithfullyFlat.lTensor_injective_iff_injective

Modification history