Documentation

LeanPool.HadwigerNelsonBounds.PartsPermutationData3

Exact vertex permutation 3 for the Parts root stabilizer.

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

Permutation 3, lookup chunk 0.

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

    Permutation 3, lookup chunk 1.

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

      Permutation 3, lookup chunk 2.

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

        Permutation 3, lookup chunk 3.

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

          Permutation 3, lookup chunk 4.

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

            Permutation 3, lookup chunk 5.

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

              Permutation 3, lookup chunk 6.

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

                Permutation 3, lookup chunk 7.

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

                  Exact base-graph automorphism 3.

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