Theorem toDegLex_add

Modification history