06:0906:09, 20 March 2012diffhist+335 N
User:Kprateek88/HigmanProof
←Created page with '==Formal statement== Let <math>(\Sigma, \leq)</math> be a well-quasi-order. Extend <math>\leq</math> to a relation on <math>\Sigma^*</math> as follows: <math>a_...'current