Binomialkomplex/Aufsteigend/Homotopie/Fakt

Der aufsteigende Binomialkomplex zu einer nichtleeren Indexmenge

ist exakt.