Theorem Algebra.TensorProduct.productMap_eq_comp_map

Modification history