generalize to simplify - SemanticDiff

Commit

4 years ago

generalize to simplify

References

#13084 - feat(ring_theory/polynomial/special_coefficients): new file for evaluations of special coefficients of polynomials

#13200 - feat(ring_theory/polynomial/special_coefficients): previous-to-last-coefficient of a product of polynomials

Author

adomani

adomani

Parents

Loading