Theorem PolyEquivTensor.toFunLinear_mul_tmul_mul

Modification history