Theorem ofDegLex_inj

Modification history