Theorem LinearMap.rTensor_sub

Modification history