Timeline for Can equivalences be strictified to isomorphisms?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 2, 2020 at 19:52 | vote | accept | Mike Shulman | ||
| Jan 30, 2018 at 21:34 | history | edited | Todd Trimble | CC BY-SA 3.0 |
typo
|
| Jan 30, 2018 at 18:48 | history | answered | Mike Shulman | CC BY-SA 3.0 |