Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-29 16:34 88e613e7

View on Github →

feat(data/mv_polynomial/cardinal): cardinalities of polynomial rings (#9384)

Estimated changes