Theorem LinearMap.lTensor_pow

Modification history