basic): use `is_empty σ` instead of `¬nonempty σ` (#8277)

Commit

4 years ago

chore(data/mv_polynomial/basic): use `is_empty σ` instead of `¬nonempty σ` (#8277) Split from #7826

Author

eric-wieser

Parents