Theorem LinearMap.rTensor_smul

Modification history