Theorem Module.Flat.tensorProduct_mapIncl_injective_of_right

Modification history