*): Specific root sets (#7510)

Commit

4 years ago

feat(data/polynomial/*): Specific root sets (#7510) Adds lemmas for the root sets of a couple specific polynomials.

Author

tb65536

Parents