mathlib
43d5acfa - Merge branch 'master' into graded_ring_dep_4

Commit

4 years ago

Merge branch 'master' into graded_ring_dep_4

References

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

Author

jjaassoonn

jjaassoonn

Parents

Loading