Theorem matPolyEquiv_symm_C

Modification history