Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-13 11:23 bb53a922

View on Github →

chore(data/mv_polynomial/basic): use is_empty σ instead of ¬nonempty σ (#8277) Split from #7826

Estimated changes

modified theorem mv_polynomial.C_surjective