Theorem LinearMap.map_comp_lTensor

Modification history