chore(field_theory/minimal_polynomial): fix timeout (#2054)
* chore(field_theory/minimal_polynomial): fix timeout
* Update src/field_theory/minimal_polynomial.lean
Co-Authored-By: Johan Commelin <johan@commelin.net>
Co-authored-by: Johan Commelin <johan@commelin.net>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
