Theorem toDegLex_injective

Modification history