Zuggitter, Normalformen und Hinreichendheit

Du baust notwendige Invariantenbedingungen mit Konstruktionen zu vollständigen Klassifikationen aus.