Use new defs - SemanticDiff

Commit

4 years ago

Use new defs

References

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

Author

eric-wieser

eric-wieser

Parents

Loading