Theorem MonomialOrder.degLex_lt_iff

Modification history