Theorem MonomialOrder.degLex_single_lt_iff

Modification history