mathlib3

732279dd - feat(analysis/special_functions/gaussian): formula for gaussian integrals (#15106)