strictifying tricategories

Last updated Feb 3, 2024

Tags: monoidal bicategory, Gray category, Gray monoid, tricategory.