Author: varkor Format: MarkdownItexRename the page to reflect the fact that coherence and strictification are distinct, but related, theorems.
<a href="https://ncatlab.org/nlab/revision/diff/coherence+and+strictification+for+symmetric+monoidal+categories/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/coherence+and+strictification+for+symmetric+monoidal+categories/7">v7</a>, <a href="https://ncatlab.org/nlab/show/coherence+and+strictification+for+symmetric+monoidal+categories">current</a>
Rename the page to reflect the fact that coherence and strictification are distinct, but related, theorems.