mathlib
d268bb7a - feat(data/polynomial/eval): add polynomial.map_bit0/1 (#16481)

Commit

3 years ago

feat(data/polynomial/eval): add polynomial.map_bit0/1 (#16481)

Author

alexjbest

alexjbest

Parents

Loading