Theorem toDegLex_ofDegLex

Modification history