Timeline for Density Theorem for $\infty$-Categories (HTT, Lemma 5.1.5.3)
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2022 at 13:43 | history | edited | D.-C. Cisinski | CC BY-SA 4.0 |
added 490 characters in body
|
| Nov 12, 2022 at 8:23 | history | answered | D.-C. Cisinski | CC BY-SA 4.0 |