Lemma [efr-003H]

Let \mathcal {C} \to \mathcal {D} be a strict Buckley fibration. Then the map of simplicial bicategories \mathcal {C}^{[n]} \to \mathcal {D}^{[n]} is a Reedy fibration (with respect to the Lack model structure on bicategories)