Theorem matPolyEquiv_symm_X

Modification history