Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.degrees_rename

Modification history

2020-09-25 12:54

src/data/mv_polynomial/variables.lean

feat(data/mv_polynomial/variables): vars_bind₁ and friends (#4204) …

Added mv_polynomial.degrees_rename View on Github →