Theorem LinearMap.rTensor_pow

Modification history