Theorem Module.Flat.iff_rTensor_injective

Modification history