overview: add Bolzano-Weirstrass

leanprover-community · Jun 17, 2020 · c999685 · c999685
1 parent 48385b7
commit c999685
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/overview.yaml b/data/overview.yaml
@@ -289,7 +289,7 @@ Single Variable Real Analysis:
   Topology of R:
     metric structure: 'topology/metric_space/basic.html#real.metric_space'
     completeness of R: 'topology/instances/real.html#real.complete_space'
-    Bolzano-Weierstrass theorem:
+    Bolzano-Weierstrass theorem: 'topology/sequences.html#tendsto_subseq_of_bounded'
     compact subsets of $\R$: 'topology/metric_space/basic.html#metric.compact_iff_closed_bounded'
     connected subsets of $\R$: 'topology/algebra/ordered.html#set_of_is_preconnected_eq_of_ordered'
     additive subgroups of $\R$: