Supporting document to the paper "Logical limit laws for minor-closed classes of graphs"

Peter Heinig, Tobias Muller, Anusch Taraz

We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz.