Timeline for Can infinity shorten proofs a lot?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17, 2009 at 2:48 | history | edited | Dan Piponi | CC BY-SA 2.5 |
added 58 characters in body
|
| Nov 17, 2009 at 2:13 | history | edited | Dan Piponi | CC BY-SA 2.5 |
Added a reference with more details
|
| Nov 17, 2009 at 2:02 | history | answered | Dan Piponi | CC BY-SA 2.5 |