Theorem matPolyEquiv_diagonal_X

Modification history