Theorem LinearMap.rtensor_pow

Modification history