Theorem IsTensorProduct.map_injective_of_flat_left_right

Modification history