OAI/CategoryTheory/Thomason/Construction.lean
0 declarations, 0 contain sorry, 0 declared as axioms
The right interval construction and the Thomason model structures for strict omega-categories and their positive finite-dimensional reflections.
This file declares nothing itself. It gathers the 3 imports below, so a file that imports it gets all of them.