Def MonomialOrder.reduce

Modification history

2025-01-31 18:21
Mathlib/RingTheory/MvPolynomial/Groebner.lean
chore(Mathlib/RingTheory/MvPolynomial): rename MonomiaOrder.lCoeff to MonomialOrder.leadingCoeff (#21290) …
Added MonomialOrder.reduceView on Github →