Theorem LinearMap.lTensor_sub

Modification history