Theorem LinearMap.lTensor_tmul

Modification history