Timeline for Space-discriminating injective curve
Current License: CC BY-SA 2.5
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 |