Documentation

LeanPool.HadwigerNelsonBounds.PartsPermutationData5

Exact vertex permutation 5 for the Parts root stabilizer.

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

Permutation 5, lookup chunk 0.

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

    Permutation 5, lookup chunk 1.

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

      Permutation 5, lookup chunk 2.

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

        Permutation 5, lookup chunk 3.

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

          Permutation 5, lookup chunk 4.

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

            Permutation 5, lookup chunk 5.

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

              Permutation 5, lookup chunk 6.

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

                Permutation 5, lookup chunk 7.

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

                  Exact base-graph automorphism 5.

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