ne}_zero_iff` (#16440)

Commit

3 years ago

feat(data/polynomial/eval): add `map_{eq/ne}_zero_iff` (#16440) Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

astrainfinita

Committer

b-mehta

Parents