Use the new instance - SemanticDiff

Commit

4 years ago

Use the new instance

References

#8913 - feat(ring_theory/mv_polynomial/homogeneous): Multivariate polynomials permit a nat-grading

Author

eric-wieser

eric-wieser

Parents

Loading