def Hex.GraphIso.Nauty.Sparse.Literal.isautom {n : Nat} (g : Graph n) (p : Array Nat) : Bool

The sparse automorphism test with exported range iteration. Degrees, generation marks, and the fixed-vertex shortcut are the production operations.

Equations

• One or more equations did not get rendered due to their size.

theorem Hex.GraphIso.Nauty.Sparse.Literal.isautom_eq : @isautom = @Sparse.isautom