The six exact automorphisms of the normalized Parts root.

def HadwigerNelsonBounds.partsPermuteVertex (symmetry : Fin 6) (vertex : Fin 481) : Fin 481

Apply one of the six stored automorphisms of the exact base graph.

Equations

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