Timeline for "classes" with no cardinality; "classes" with no equality notion
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2010 at 21:57 | comment | added | Peter LeFanu Lumsdaine | Ah, good, I was hoping you’d show up and give this side of the story :-) | |
| Nov 25, 2010 at 5:43 | history | answered | Mike Shulman | CC BY-SA 2.5 |