Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-12 07:21 cbaea5dd

View on Github →

feat(polynomial/degree/trailing_degree): redefine trailing_degree as p.support.min (#16337)

Estimated changes