Documentation

LeanPool.TwoColoringOneRound.LowerBound.N1000000ZData

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

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

    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

      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