Timeline for Extensional theorems mostly used intensionally
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 29, 2010 at 7:41 | history | edited | Russell O'Connor | CC BY-SA 2.5 |
small clarification of the inductive definition of phantom.
|
| Jun 28, 2010 at 21:22 | comment | added | Jacques Carette | There is definitely a strong connection here, thanks. | |
| Jun 28, 2010 at 12:15 | history | edited | Russell O'Connor | CC BY-SA 2.5 |
fixing unmatched braces
|
| Jun 28, 2010 at 12:09 | history | answered | Russell O'Connor | CC BY-SA 2.5 |