mathlib

51ffdd03 - refactor(ring_theory): change field instance on adjoin_root (#5759)

refactor(ring_theory): change field instance on adjoin_root (#5759) This makes some things faster. [Discussion](https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Slow.20instance/near/222839607)