Documentation

LeanPool.TwoColoringOneRound.LowerBound.N1000000ZData

Auto-generated exact LDLᵀ data for the dual blocks Z_r.

source
def Distributed2Coloring.LowerBound.N1000000ZData.ZldlDen :
Array Nat

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.N1000000ZData.ZldlLNum :
    Array (Array (Array Int))

    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.N1000000ZData.ZldlDNum :
      Array (Array Int)

      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