Timeline for Extensional theorems mostly used intensionally
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 21, 2010 at 1:26 | history | edited | Terry Tao | CC BY-SA 2.5 |
edited body; deleted 11 characters in body; added 6 characters in body
|
| Mar 21, 2010 at 1:07 | history | edited | Terry Tao | CC BY-SA 2.5 |
added 41 characters in body; added 2 characters in body
|
| Mar 21, 2010 at 1:02 | history | answered | Terry Tao | CC BY-SA 2.5 |