Theorem PolyEquivTensor.toFunLinear_one_tmul_one

Modification history