Closed pbelmans closed 7 years ago
Higher Topos Theory has a theorem 7.1.0.1. So make sure that the breadcrumb can deal with missing subsections.
This no longer seems to be an issue.
Higher Topos Theory has a theorem 7.1.0.1. So make sure that the breadcrumb can deal with missing subsections.