Theorem TensorProduct.map_injective_of_flat_flat

Modification history