Inner horn (source code)

= Inner horn

A horn $\Lambda_i^n$ is inner when $0<i<n$ and outer when $i=0$ or $i=n$.