Theorem Algebra.TensorProduct.map_id_comp

Modification history