Analysis.SpecialFunctions.Gaussian

Stream: mathlib4

[David Loeffler]

Is this file ready to port, or not? It shows up as light blue on the PDF's generated by the port-progress script, but port-status claims it has an unported dependency data.matrix.invertible.

[Ruben Van de Velde]

It's probably fine, d.m.i was just added recently