Theorem Algebra.TensorProduct.map_comp_includeRight

Modification history