Author: varkor Format: MarkdownItexAdd a strengthening of the coherence result, also due to Power.
<a href="https://ncatlab.org/nlab/revision/diff/coherence+theorem+for+bicategories+with+finite+limits/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/coherence+theorem+for+bicategories+with+finite+limits/7">v7</a>, <a href="https://ncatlab.org/nlab/show/coherence+theorem+for+bicategories+with+finite+limits">current</a>
Add a strengthening of the coherence result, also due to Power.