Theorem LinearMap.ltensor_comp_map

Modification history