Def fourierSubalgebra

Modification history

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