Timeline for Subtler than meets the eye: does x=y imply forall x forall y x=y?
Current License: CC BY-SA 3.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 29, 2011 at 17:13 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |