Mercurial > repo

changeset 8199:8cddc0cc649d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<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.
author HackBot
date Sun, 29 May 2016 01:40:02 +0000
parents c22ee4bb1384
children 60d967e47111
files wisdom/pumping lemma
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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.