Timeline for Are paths in HoTT perhaps just "cost-free" paths?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 4, 2013 at 20:14 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
added 452 characters in body
|
| Nov 4, 2013 at 20:07 | history | answered | Andrej Bauer | CC BY-SA 3.0 |