Theorem matPolyEquiv_symm_apply_coeff

Modification history