chore(docs/100): fix typo (#4937)

leanprover-community · Nov 7, 2020 · 5fed35b · 5fed35b
1 parent c2ab384
commit 5fed35b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/100.yaml b/docs/100.yaml
@@ -164,7 +164,7 @@
   decl   : finset.card_powerset
   author : mathlib
 53:
-  title  : Pi is Trancendental
+  title  : Pi is Transcendental
 54:
   title  : Konigsberg Bridges Problem
 55: