Theorem TensorPower.cast_refl

Modification history