Theorem LinearMap.rTensor_tmul

Modification history