Theorem TensorPower.cast_eq_cast

Modification history