Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData09

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row16 :
BranchClaims

Flat postorder claims for branch (5, 16).

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

    Flat postorder claims for branch (5, 17).

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

      Flat postorder claims for branch (5, 18).

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

        Flat postorder claims for branch (5, 19).

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

          Flat postorder claims for branch (5, 24).

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