mathlib
3fb5d8d5 - fix?

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

fix?

References

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

Author

jjaassoonn

jjaassoonn

Parents

FAQ Terms Privacy Refunds Impressum

Loading