Theorem LinearMap.map_comp_rtensor

Modification history