Theorem ofDegLex_toDegLex

Modification history