Source: /wikibot/mac-lane-coherence-theorem

= Mac Lane coherence theorem
{wiki=Mac_Lane_coherence_theorem}