regularity_lemma
Platin-Mitgliedschaft