Theorem matrixEquivTensor_apply_single

Modification history