Def MvPolynomial.degreeOf

Modification history

2024-03-04 20:11

Mathlib/Data/MvPolynomial/Degrees.lean

chore: split MvPolynomial.Variables (#11094) …

Modified MvPolynomial.degreeOf View on Github →

2023-03-18 07:59

Mathlib/Data/MvPolynomial/Variables.lean

feat: port Data.MvPolynomial.Variables (#2961)

Added MvPolynomial.degreeOf View on Github →