Theorem PolyEquivTensor.toFunLinear_tmul_apply

Modification history