Theorem ofDegLex_add

Modification history