fix broken 100 theorems links

leanprover-community · Jun 16, 2020 · ea6cb4f · ea6cb4f
1 parent 3bad3f3
commit ea6cb4f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/data/100.yaml b/data/100.yaml
@@ -109,7 +109,7 @@
   title  : The Solution of a Cubic
 38:
   title  : Arithmetic Mean/Geometric Mean
-  decl   : analysis/mean_inequalities.html#real.am_gm_weighted
+  decl   : analysis/mean_inequalities.html#real.geom_mean_le_arith_mean_weighted
   author : Yury G. Kudryashov
 39:
   title  : Solutions to Pell’s Equation
@@ -291,7 +291,7 @@
   title  : Stirling’s Formula
 91:
   title  : The Triangle Inequality
-  decl   : analysis/normed_space/real_inner_product.html#inner_product_space_is_normed_group
+  decl   : analysis/normed_space/real_inner_product.html#inner_product_space.to_normed_group
   author : Zhouhang Zhou
 92:
   title  : Pick’s Theorem