Theorem TensorPower.mul_one

Modification history