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 subalgebra.separates_points.is_R_or_C_to_real