Theorem MvPolynomial.degreeOf_def

Modification history

2024-03-04 20:11

Mathlib/Data/MvPolynomial/Degrees.lean

chore: split MvPolynomial.Variables (#11094) …

Modified MvPolynomial.degreeOf_def View on Github →

2023-05-21 21:51

Mathlib/Data/MvPolynomial/Variables.lean

chore: forward-port leanprover-community/mathlib#18848 (#4007) …

Added MvPolynomial.degreeOf_def View on Github →