MDLUL/aufsteigender Binomialkomplex

Start=aufsteigender Binomialkomplex

MDLUL/aufsteigender Binomialkomplex

Ziel=Binomialkomplex/Z/Aufsteigend/Definition