mathlib3
feat(data/polynomial): degree_eq_one_of_irreducible_of_root
#1010

Merged

feat(data/polynomial): degree_eq_one_of_irreducible_of_root #1010

mergify merged 2 commits into master from degree_eq_one_of_irreducible_of_root

feat(data/polynomial): degree_eq_one_of_irreducible_of_root

76f7e7c2

ChrisHughes24 requested a review 6 years ago

jcommelin commented on 2019-05-11

jcommelin approved these changes on 2019-05-11

jcommelin added ready-to-merge

Merge branch 'master' into 'degree_eq_one_of_irreducible_of_root'

0b66273f

mergify merged 60da4f4d into master 6 years ago

mergify deleted the degree_eq_one_of_irreducible_of_root branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone