Graph removal lemma (source code)

= Graph removal lemma
{wiki=Graph_removal_lemma}