Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData11

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row29 :
BranchClaims

Flat postorder claims for branch (5, 29).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row31 :
    BranchClaims

    Flat postorder claims for branch (5, 31).

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row32 :
      BranchClaims

      Flat postorder claims for branch (5, 32).

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For