Theorem ofDegLex_injective

Modification history