mathlib3
chore(field_theory/minimal_polynomial): fix timeout
#2054

Merged

Commits

chore(field_theory/minimal_polynomial): fix timeout

kim-em committed 6 years ago
Update src/field_theory/minimal_polynomial.lean

kim-em committed 6 years ago
Merge branch 'master' into minimal_polynomial_timeout

mergify[bot] committed 6 years ago

Loading