Theorem MonomialOrder.monic_leadingTerm

Modification history

2026-03-30 13:40

Mathlib/RingTheory/MvPolynomial/MonomialOrder.lean

feat(RingTheory/MvPolynomial/MonomialOrder): misc lemmas (#34758)

Added MonomialOrder.monic_leadingTerm View on Github →