def Hex.GraphIso.Nauty.tracedKey {n k : Nat} (G : Colored n k) : Key n

The full key read from the search's trace.

Equations

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