# HG changeset patch
# User HackBot
# Date 1464486002 0
# Node ID 8cddc0cc649d234563cd524f862ece02efec3f87
# Parent  c22ee4bb1384ab3359beaac28bdf95cb45590728
<shachaf> le/rn pumping lemma/nooodl\'s pumping lemma for wisdom entries states that for any sufficiently long valid wisdom entry, there exists a letter that can be repeated any number of times.

diff -r c22ee4bb1384 -r 8cddc0cc649d wisdom/pumping lemma
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/pumping lemma	Sun May 29 01:40:02 2016 +0000
@@ -0,0 +1,1 @@
+nooodl's pumping lemma for wisdom entries states that for any sufficiently long valid wisdom entry, there exists a letter that can be repeated any number of times.