Theorem TensorProduct.map_smul_left

Modification history