Theorem LinearMap.rTensor_comp_apply

Modification history