Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData10

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row25 :
BranchClaims

Flat postorder claims for branch (5, 25).

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

    Flat postorder claims for branch (5, 26).

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

      Flat postorder claims for branch (5, 27).

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

        Flat postorder claims for branch (5, 28).

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