Theorem IsTensorProduct.map_id_injective_of_flat_left

Modification history