new contributor

Stream: mathlib4

[Alexander Huang]

New contributor here. Is there an open good first issue/formalization I can work on? Most everything on GitHub issues seem taken (?

[Moritz Doll]

Since you were interested in the Gaussian for Schwartz: you could define the Dirac comb as a tempered distribution, or the support of tempered distributions (and show that the support of the Dirac delta is just the point it is centered at), or define the singular support of a tempered distribution, i.e., the set of points where the distribution cannot be represented as a smooth function.

[Snir Broshi]

Hello :wave:

Alexander Huang said:

Most everything on GitHub issues seem taken (?

I'm not sure that's true

It would help to know what you're interested in: Real analysis / complex analysis / topology / number theory / graph theory / set theory / etc