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) …
Deleted subalgebra.separates_points.complex_to_real