mathlib

26279c5f - 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)