Theorem matPolyEquiv_coeff_apply_aux_2

Modification history