Diagonal Lemma for Presheaves on Elegant Reedy Categories

The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan–Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this paper, we observe that the standard proof of this fact works in greater generality, namely that of (elegant) Reedy categories.