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

Abstract

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.