forking lemma

Categorieën: