Theorem LinearMap.lTensor_comp

Modification history