doc(100.yaml): add Law of Large Numbers (#14353)

leanprover-community · May 24, 2022 · dc22d65 · dc22d65
1 parent 9d193c5
commit dc22d65
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/100.yaml b/docs/100.yaml
@@ -203,6 +203,8 @@
   author : mathlib <!--Jeremy Avigad in lean 2-->
 59:
   title  : The Laws of Large Numbers
+  decl   : probability_theory.strong_law_ae
+  author : Sébastien Gouëzel
 60:
   title  : Bezout’s Theorem
   decl   : nat.gcd_eq_gcd_ab