Theorem LinearMap.lTensor_smul

Modification history