Theorem Module.FaithfullyFlat.tensorProduct_mk_injective

Modification history