Theorem LinearMap.rtensor_comp

Modification history