MDLUL/injektive Auflösung (Modul)

Start=injektive Auflösung (Modul)

MDLUL/injektive Auflösung (Modul)

Ziel=Kommutativer Ring/Modul/Injektive Auflösung/Definition