Theorem LinearMap.lTensor_comp_map

Modification history