Skip to content

Commit 6c19380

Browse files
committed
chore(1000.yaml): add Fourier's theorem (#29047)
Mathlib has some form of it already; while there is space for more advanced versions, let's surface the current progress already.
1 parent 69bf692 commit 6c19380

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

docs/1000.yaml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,12 @@ Q179208:
8080

8181
Q179467:
8282
title: Fourier theorem
83+
decls:
84+
- MeasureTheory.Integrable.fourier_inversion
85+
- Continuous.fourier_inversion
86+
authors: Sébastien Gouezel
87+
date: 2024
88+
comment: "The wikipedia page is really vague; it's not clear what is meant here. While mathlib has some material already, there is space for more advanced results."
8389

8490
Q179692:
8591
title: Independence of the axiom of choice

0 commit comments

Comments
 (0)