Theorem Algebra.TensorProduct.map_comp_includeLeft

Modification history