Draft:Mac Lane coherence theorem

1. REDIRECT Mac Lane coherence theorem

{{Redirect category shell|

{{R from move}}

}}