mathlib
cb35735e - fix even_succ

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

fix even_succ

References

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

Author

BoltonBailey

BoltonBailey

Parents

FAQ Terms Privacy Refunds Impressum

Loading