Theorem Module.FaithfullyFlat.iff_zero_iff_lTensor_zero

Modification history