Documentation

LeanPool.TwoColoringOneRound.LowerBound.N1000000Data

This file is auto-generated by scripts/export_n1000000_to_lean.py.

source
def Distributed2Coloring.LowerBound.N1000000Data.n :
ℕ

Imported auxiliary declaration for the 2-coloring one-round formalization.

Equations
Instances For
    source
    def Distributed2Coloring.LowerBound.N1000000Data.numVars :
    ℕ

    Imported auxiliary declaration for the 2-coloring one-round formalization.

    Equations
    Instances For
      source
      def Distributed2Coloring.LowerBound.N1000000Data.edgeVar :
      ℕ

      Imported auxiliary declaration for the 2-coloring one-round formalization.

      Equations
      Instances For
        source
        def Distributed2Coloring.LowerBound.N1000000Data.muSupportSize :
        ℕ

        Imported auxiliary declaration for the 2-coloring one-round formalization.

        Equations
        Instances For
          source
          def Distributed2Coloring.LowerBound.N1000000Data.D :
          ℕ

          Imported auxiliary declaration for the 2-coloring one-round formalization.

          Equations
          Instances For
            source
            def Distributed2Coloring.LowerBound.N1000000Data.muSupport :
            Array (ℕ × Array ℤ × ℤ)

            Imported auxiliary declaration for the 2-coloring one-round formalization.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Distributed2Coloring.LowerBound.N1000000Data.S0Blocks :
              Array (Array (Array ℤ))

              Imported auxiliary declaration for the 2-coloring one-round formalization.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Distributed2Coloring.LowerBound.N1000000Data.SiBlocks :
                Array (Array (Array (Array ℤ)))

                Imported auxiliary declaration for the 2-coloring one-round formalization.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Distributed2Coloring.LowerBound.N1000000Data.ZBlocks :
                  Array (Array (Array ℤ))

                  Imported auxiliary declaration for the 2-coloring one-round formalization.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    def Distributed2Coloring.LowerBound.N1000000Data.dualObjectiveD2 :
                    ℤ

                    Imported auxiliary declaration for the 2-coloring one-round formalization.

                    Equations
                    Instances For