Theorem LinearMap.rTensor_def

Modification history