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

Merged

chore(field_theory/minimal_polynomial): fix timeout #2054

mergify merged 3 commits into master from minimal_polynomial_timeout

chore(field_theory/minimal_polynomial): fix timeout

56646484

kim-em requested a review from

jcommelin 6 years ago

kim-em added awaiting-review

jcommelin commented on 2020-02-25

sgouezel removed awaiting-review

sgouezel added awaiting-author

Update src/field_theory/minimal_polynomial.lean

b4898202

kim-em removed awaiting-author

kim-em added awaiting-review

jcommelin approved these changes on 2020-02-25

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into minimal_polynomial_timeout

bedfbae9

mergify merged 7be3e938 into master 6 years ago

mergify deleted the minimal_polynomial_timeout branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone