mathlib3
feat(data/polynomial/root_isolation): root_parity_in_range_of_evals
#14916
Open
Overview
Commits
22
Changes
View On GitHub

feat(data/polynomial/root_isolation): root_parity_in_range_of_evals #14916

BoltonBailey wants to merge 22 commits into master from BoltonBailey/root-isolation
BoltonBailey
BoltonBailey commit work
dd934a73
BoltonBailey BoltonBailey added help-wanted
BoltonBailey BoltonBailey added WIP
ghost ghost added blocked-by-other-PR
BoltonBailey complete theorem
6682df6f
BoltonBailey golf
a1174e88
BoltonBailey move filter singleton
a1ea2ae4
BoltonBailey remove spun off lemmas
b635065e
BoltonBailey remove moved lemma
369ffe57
BoltonBailey style
61a47d5b
BoltonBailey golf
d6f7e268
BoltonBailey brackets
3300be70
BoltonBailey delete imports
74b9dee9
BoltonBailey BoltonBailey removed help-wanted
BoltonBailey BoltonBailey removed WIP
BoltonBailey rename
e81e0329
BoltonBailey golf
655ef236
BoltonBailey another lemma
1d04fe6a
BoltonBailey golf
b20cdece
BoltonBailey work on extraction
371de5c3
BoltonBailey golf
2d84dcde
BoltonBailey BoltonBailey added awaiting-review
BoltonBailey BoltonBailey removed awaiting-review
BoltonBailey Merge branch 'master' of github.com:leanprover-community/mathlib into…
67b41438
BoltonBailey Merge branch 'master' of github.com:leanprover-community/mathlib into…
40d6af8f
BoltonBailey fix even_succ
cb35735e
BoltonBailey remove comment
a425135e
ghost ghost removed blocked-by-other-PR
ghost
BoltonBailey BoltonBailey added awaiting-review
BoltonBailey Update root_isolation.lean
52cc552e
urkud
urkud commented on 2022-07-08
BoltonBailey BoltonBailey removed awaiting-review
BoltonBailey BoltonBailey added awaiting-author
BoltonBailey start changes
04a5c3bc
BoltonBailey BoltonBailey added help-wanted
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
help-wanted awaiting-author too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum