Theorem continuous_map.subalgebra_is_R_or_C_topological_closure_eq_top_of_separates_points
Modification history
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) …
Added continuous_map.subalgebra_is_R_or_C_topological_closure_eq_top_of_separates_pointsView on Github →