chore(algebraic_geometry/function_field): fix timeout in `function_field.algebra` (#14830)
chore(algebraic_geometry/function_field): fix timeout in `function_field.algebra` (#14830)

Reduces `elaboration of function_field.algebra` from ~29.3s to ~0.4s.

[Zulip](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/deterministic.20timeout/near/286714162)





leanprover-community/mathlib,leanprover-community/mathlib