Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-14 07:40 dda8a10a

View on Github →

feat(data/mv_polynomial/basic): add mv_polynomial.support_sum (#10731)

Estimated changes