mathlib3

938d3db9 - feat(ring_theory/polynomial/hermite): proof of explicit formula for Hermite polynomial coefficients (#19044)

feat(ring_theory/polynomial/hermite): proof of explicit formula for Hermite polynomial coefficients (#19044) Add the explicit closed formula for the coefficients of Hermite polynomials. Co-authored-by: Luke Mantle <lukeomantle@gmail.com>