Update mv_polynomial.lean - SemanticDiff

Commit

3 years ago

Update mv_polynomial.lean

References

graded_ring_dep_5

#10119 - feat(ring_theory/graded_algebra): `mv_polynomial` is ℕ-graded

Author

jjaassoonn

jjaassoonn

Parents

Loading