MDLUL/Elementarmatrix (Ring)

Start=Elementarmatrix (Ring)

MDLUL/Elementarmatrix (Ring)

Ziel=Elementarmatrizen/Ring/Definition