Theorem fourierSubalgebra_conj_invariant

Modification history

2023-07-28 22:33
Mathlib/Analysis/Fourier/AddCircle.lean
refactor: link the Stone-Weierstrass theorem to the `StarSubalgebra` API (#5267) …
Deleted fourierSubalgebra_conj_invariantView on Github →
2023-06-20 10:20
Mathlib/Analysis/Fourier/AddCircle.lean
port Analysis.Fourier.AddCircle (#5273)
Added fourierSubalgebra_conj_invariantView on Github →