docs(overview): add holder continuity (#8506)

leanprover-community · Aug 2, 2021 · af8e56a · af8e56a
1 parent 25a4230
commit af8e56a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/overview.yaml b/docs/overview.yaml
@@ -226,7 +226,8 @@ Topology:
     ball: 'metric.ball'
     sequential compactness is equivalent to compactness (Bolzano-Weierstrass): 'metric.compact_iff_seq_compact'
     Heine-Borel theorem (proper metric space version): 'metric.compact_iff_closed_bounded'
-    Lipschitz function: 'lipschitz_with'
+    Lipschitz continuity: 'lipschitz_with'
+    Hölder continuity: 'holder_with'
     contraction mapping theorem: 'contracting_with.exists_fixed_point'
     Baire theorem: 'dense_Inter_of_open'
     Arzela-Ascoli theorem: 'bounded_continuous_function.arzela_ascoli'