regularity_lemma
Miembro Platino