Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.support_zero

Modification history

2021-12-14 07:40

src/data/mv_polynomial/basic.lean

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

Added mv_polynomial.support_zero View on Github →