MDLUL/Negation (Körper)

Start=Negation (Körper)

MDLUL/Negation (Körper)

Ziel=Körpertheorie_(Algebra)/Körper/Direkt/Definition