2022-05-26 02:20
src/topology/continuous_function/stone_weierstrass.lean
feat(topology/continuous_function/stone_weierstrass): generalize the complex Stone-Weierstrass theorem to is_R_or_C fields (#14374) …
Modified continuous_map.mem_conj_invariant_subalgebra