Skip to main content
4 events
when toggle format what by license comment
Nov 14, 2010 at 4:57 history edited Sergei Ivanov CC BY-SA 2.5
fixed typos
Nov 13, 2010 at 21:22 vote accept Nikita Kalinin
Nov 13, 2010 at 12:03 comment added Todd Trimble Excellent answer: plenty of instructive technique on display here. Probably belongs on the Tricki somewhere. The invocation of completeness of a path space (and use of dependent choice) would seem to be unavoidable.
Nov 13, 2010 at 6:44 history answered Sergei Ivanov CC BY-SA 2.5