Theorem TensorPower.cast_trans

Modification history