Theorem PolyEquivTensor.toFunBilinear_apply_eq_sum

Modification history