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.
生成讲解博客的中文版本
生成AI智能校验的中文版本