Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-24 05:36 570c293a

View on Github →

feat(data/polynomial/ring_division): Two easy lemmas about polynomials (#4742) Two easy lemmas from my previous, now splitted, PR.

Estimated changes