Timeline for Extensional theorems mostly used intensionally
Current License: CC BY-SA 2.5
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
Apr 14, 2010 at 23:59 | history | answered | Jacques Carette | CC BY-SA 2.5 |