Theorem MonomialOrder.notMem_support_of_degree_lt

Modification history

2025-12-02 10:19

Mathlib/RingTheory/MvPolynomial/MonomialOrder.lean

feat(RingTheory/MvPolynomial/MonomialOrder): add two lemmas about degree (#32336) …

Added MonomialOrder.notMem_support_of_degree_lt View on Github →