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