Regulärer ausdruck für nicht-aba (Klausur I-1 Herbst 04)


Hallo, hat jemand einen schlaumachenden Text zu Ardens Lemma gefunden? Ich kann nix gscheits auftreiben.
Danke