Theorem TensorProduct.toLinearMap_congr

Modification history