|
|
|
last edited 15 years ago by Bill Page |
Edit history for Limits and Colimits
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| Equalizer | 6669 | Bill Page | 2008/12/17 08:57:05 GMT-8 | |
| principal branch coercions | 5676 | Bill Page | 2008/12/10 19:37:35 GMT-8 | |
| work-a-round dependent domain bug | 5487 | Bill Page | 2008/12/10 19:28:15 GMT-8 | |
| examples | 4842 | Bill Page | 2008/12/10 18:35:30 GMT-8 | |
| Products and Sums | 3207 | 2008/08/14 17:43:50 GMT-7 |