Theorem matPolyEquiv_coeff_apply_aux_1

Modification history