Timeline for In Lurie's "Higher topos theory" lemma 4.3.2.7
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2022 at 4:15 | vote | accept | XiaYu | ||
| Jun 13, 2022 at 9:10 | answer | added | Maxime Ramzi | timeline score: 2 | |
| Jun 13, 2022 at 7:38 | comment | added | daniel gratzer | Another version of the second half of this statement is given in Kerodon. It's a bit more explicit: kerodon.net/tag/030V | |
| Jun 12, 2022 at 20:36 | history | edited | LSpice | CC BY-SA 4.0 |
TeXed quote
|
| Jun 12, 2022 at 19:58 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
| Jun 12, 2022 at 17:43 | history | asked | XiaYu | CC BY-SA 4.0 |