Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-09 19:53 7d792ec4

View on Github →

chore(ring_theory/adjoin_root): remove some unused decidable_eq (#1530)

Estimated changes

modified def adjoin_root