Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_map.subalgebra_conj_invariant

Modification history

2022-11-24 18:59
src/topology/continuous_function/stone_weierstrass.lean
feat (analysis/fourier): Fourier analysis on the additive circle (#17598) …
Added continuous_map.subalgebra_conj_invariantView on Github →