Kanonische Darstellungen

Checkliste

Genau-ein-Audit

• ✓

  Existenzzeuge

• ✓

  zwei beliebige Kandidaten

• ✓

  Gleichheit hergeleitet

• ✓

  Randfälle geprüft