Theorem IsTensorProduct.map_id_injective_of_flat_right

Modification history