Theorem toDegLex_inj

Modification history