MDLUL/injektive Auflösung

Start=injektive Auflösung

MDLUL/injektive Auflösung

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