Title: Coherence for tricategories
Subjects: Homotopy theory, Tricategories