docs(overview): Add Stone-Weierstrass (#7449)

leanprover-community · May 5, 2021 · 25387b6 · 25387b6
1 parent f6f810c
commit 25387b6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/overview.yaml b/docs/overview.yaml
@@ -195,6 +195,7 @@ Topology:
     Stone-Cech compactification: 'stone_cech'
     topological fiber bundle: 'is_topological_fiber_bundle'
     Urysohn's lemma: 'exists_continuous_zero_one_of_closed'
+    Stone-Weierstrass theorem: 'continuous_map.subalgebra_topological_closure_eq_top_of_separates_points'
   Uniform notions:
     uniform space: 'uniform_space'
     uniformly continuous function: 'metric.uniform_continuous_iff'