Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData14

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims6Row24 :
BranchClaims

Flat postorder claims for branch (6, 24).

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

    Flat postorder claims for branch (6, 25).

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

      Flat postorder claims for branch (6, 26).

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

        Flat postorder claims for branch (6, 27).

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

          Flat postorder claims for branch (6, 28).

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

            Flat postorder claims for branch (6, 30).

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