Theorem TensorPower.one_mul

Modification history