Theorem matPolyEquiv_coeff_apply

Modification history