Timeline for Logical problems in category theory
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2010 at 22:05 | history | edited | Adam | CC BY-SA 2.5 |
mention that universe-polymorphic proofs may have multiple parameters
|
| Jan 2, 2010 at 21:58 | history | answered | Adam | CC BY-SA 2.5 |