Skip to main content
3 events
when toggle format what by license comment
May 14, 2010 at 15:42 vote accept Hugo van der Sanden
May 14, 2010 at 15:42 comment added Hugo van der Sanden Thanks, this does solve it. I also found the infinite descent proof of the lemma at planetmath.org/encyclopedia/…
May 14, 2010 at 15:26 history answered user6096 CC BY-SA 2.5