cardinal): cardinalities of polynomial rings (#9384)

Commit

4 years ago

feat(data/mv_polynomial/cardinal): cardinalities of polynomial rings (#9384) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents

2cd1d046

mathlib 88e613e7 - feat(data/mv_polynomial/cardinal): cardinalities of polynomial rings (#9384)

mathlib
88e613e7 - feat(data/mv_polynomial/cardinal): cardinalities of polynomial rings (#9384)