Theorem LinearMap.lTensor_neg

Modification history