mathlib

2e62b33c - chore(field_theory/galois): speedup a slow convert (#9782)

chore(field_theory/galois): speedup a slow convert (#9782) This was broken by a deterministic timeout in another branch. This replaces a `convert` with an explicit `simp`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>