mathlib
dd8bf2c5 - feat(data/polynomial/eval): easy lemmas + speedup (#4596)

Commit

5 years ago

feat(data/polynomial/eval): easy lemmas + speedup (#4596)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading