basic): monomial_eq_zero_iff (#8897)

Commit

4 years ago

feat(data/polynomial/basic): monomial_eq_zero_iff (#8897) Via a new `monomial_injective`.

Author

pechersky

Parents