Documentation

LeanPool.HadwigerNelsonBounds.PartsPermutationData4

Exact vertex permutation 4 for the Parts root stabilizer.

source
def HadwigerNelsonBounds.partsVertexPermutation4Chunk0 (index : ℕ) :
Fin 481

Permutation 4, lookup chunk 0.

Equations
Instances For
    source
    def HadwigerNelsonBounds.partsVertexPermutation4Chunk1 (index : ℕ) :
    Fin 481

    Permutation 4, lookup chunk 1.

    Equations
    Instances For
      source
      def HadwigerNelsonBounds.partsVertexPermutation4Chunk2 (index : ℕ) :
      Fin 481

      Permutation 4, lookup chunk 2.

      Equations
      Instances For
        source
        def HadwigerNelsonBounds.partsVertexPermutation4Chunk3 (index : ℕ) :
        Fin 481

        Permutation 4, lookup chunk 3.

        Equations
        Instances For
          source
          def HadwigerNelsonBounds.partsVertexPermutation4Chunk4 (index : ℕ) :
          Fin 481

          Permutation 4, lookup chunk 4.

          Equations
          Instances For
            source
            def HadwigerNelsonBounds.partsVertexPermutation4Chunk5 (index : ℕ) :
            Fin 481

            Permutation 4, lookup chunk 5.

            Equations
            Instances For
              source
              def HadwigerNelsonBounds.partsVertexPermutation4Chunk6 (index : ℕ) :
              Fin 481

              Permutation 4, lookup chunk 6.

              Equations
              Instances For
                source
                def HadwigerNelsonBounds.partsVertexPermutation4Chunk7 (index : ℕ) :
                Fin 481

                Permutation 4, lookup chunk 7.

                Equations
                Instances For
                  source
                  def HadwigerNelsonBounds.partsVertexPermutation4 (vertex : Fin 481) :
                  Fin 481

                  Exact base-graph automorphism 4.

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