Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData08

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row10 :
BranchClaims

Flat postorder claims for branch (5, 10).

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

    Flat postorder claims for branch (5, 11).

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

      Flat postorder claims for branch (5, 12).

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

        Flat postorder claims for branch (5, 14).

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

          Flat postorder claims for branch (5, 15).

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