Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers

Deduplicated repeated-pair row-mask covers #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCoverGroups :
Array (Array ConflictCover)

Conflict covers in shallow 64-entry groups.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCoverGroups_size :
    conflictCoverGroups.size = 88

    The generated table has all 88 shallow conflict-cover groups.

    source
    def Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCoverCount :
    ℕ

    Number of globally deduplicated conflict covers.

    Equations
    Instances For