Timeline for Are lists in homotopy type theory free $A_\infty$-spaces?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 30, 2023 at 0:53 | vote | accept | Madeleine Birchfield | ||
| Jan 24, 2023 at 15:17 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 394 characters in body
|
| Jan 24, 2023 at 15:08 | history | answered | Simon Henry | CC BY-SA 4.0 |