Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-28 17:36 41bad637

View on Github →

feat(polynomial/degree/definitions): nat_degree_X_pow (#5512) Companion to degree_X_pow

Estimated changes