Coherence for monoidal $G$-categories and braided $G$-crossed categories

We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided $G$-crossed categories.