Common-neighbour counterexamples for Saxl graphs

Source: doi:10.5281/zenodo.22231393, url:https://github.com/alunik/common-neighbour-conjecture Authors: Aluna Rizzoli, Adam R. Thomas Status: verified Main declarations: SaxlCounterexamples.MainTheorems.mainTheorem Tags: permutation-groups, group-actions, algebraic-graph-theory, saxl-graphs, counterexamples MSC: 20B15, 05C25