MDLUL/projektiv (Modul)

Start=projektiv (Modul)

MDLUL/projektiv (Modul)

Ziel=Kommutativer Ring/Projektiv/Universell/Definition