Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers10

Sharded repeated-pair row-mask covers #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers40 :
Array ConflictCover

Conflict-cover data group 40.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers40_valid :
    conflictCovers40.toList.all ConflictCover.validB = true

    Every entry in conflict-cover group 40 passes its audit.

    source
    def Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers41 :
    Array ConflictCover

    Conflict-cover data group 41.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers41_valid :
      conflictCovers41.toList.all ConflictCover.validB = true

      Every entry in conflict-cover group 41 passes its audit.

      source
      def Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers42 :
      Array ConflictCover

      Conflict-cover data group 42.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers42_valid :
        conflictCovers42.toList.all ConflictCover.validB = true

        Every entry in conflict-cover group 42 passes its audit.

        source
        def Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers43 :
        Array ConflictCover

        Conflict-cover data group 43.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.conflictCovers43_valid :
          conflictCovers43.toList.all ConflictCover.validB = true

          Every entry in conflict-cover group 43 passes its audit.