Theorem Algebra.TensorProduct.comm_comp_map_apply

Modification history