Theorem PolyEquivTensor.toFunBilinear_apply_eq_smul

Modification history