MDLUL/erzeugt (Modul)

Start=erzeugt (Modul)

MDLUL/erzeugt (Modul)

Ziel=Kommutative_Algebra/Modultheorie/Erzeugendensystem/Definition