mathlib
85d4b574 - feat(data/polynomial/eval): bit0_comp, bit1_comp (#4617)

Commit

5 years ago

feat(data/polynomial/eval): bit0_comp, bit1_comp (#4617)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading