Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-01-18 05:20 d548d92e

View on Github →

chore(ring_theory/polynomial): remove decidable_eq assumptions (#1890)

Estimated changes