Zum Inhalt springen

MDLUL/invariant (Operation)