view wisdom/pumping lemma @ 8676:e634ebb3458a

<oerjan> ` sed -i \'s/ \\+/ /g;s/ $//\' wisdom/{if,o,rhenium,semmelweis}
author HackBot
date Thu, 30 Jun 2016 23:38:32 +0000
parents 8cddc0cc649d
children
line wrap: on
line source

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.