Start=lokal (Ring)

MDLUL/lokal (Ring)

Ziel=Kommutative Ringtheorie/Lokaler Ring/Definition