GraphSymmetry.lean`

0 declarations, 0 contain sorry, 0 declared as axioms

Canonical graph symmetry, supported-edge orbits, support-degree bounds, and fixed-size vertex-block counting used by the variance proof.

This file declares nothing itself. It gathers the 10 imports below, so a file that imports it gets all of them.