Simplicial horn (source code)

= Simplicial horn
{title2=$\Lambda_i^n$}
{wiki}

The $i$th horn $\Lambda_i^n\subseteq\Delta^n$ is the union of all codimension-one faces except the face opposite vertex $i$.