Kerodon

\begin{eqnarray} \label{equation:semisimplicial-identity} d^{n-1}_{i}( d^{n}_{j}(\sigma ) ) & = & d^{n-1}_{j-1}( d^{n}_{i} (\sigma ) ) \end{eqnarray}