Start=Faktorialität

MDLUL/Faktorialität

Ziel=Kommutative Ringtheorie/Faktorieller Bereich/Definition