mathlib
2912a36b - Merge branch 'master' into adomani_ptl

Commit

3 years ago

Merge branch 'master' into adomani_ptl

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