Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData02

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims1Row34 :
BranchClaims

Flat postorder claims for branch (1, 34).

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

    Flat postorder claims for branch (2, 1).

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

      Flat postorder claims for branch (2, 2).

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

        Flat postorder claims for branch (2, 3).

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

          Flat postorder claims for branch (2, 4).

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

            Flat postorder claims for branch (2, 5).

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

              Flat postorder claims for branch (2, 6).

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

                Flat postorder claims for branch (2, 8).

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

                  Flat postorder claims for branch (2, 9).

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

                    Flat postorder claims for branch (2, 10).

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

                      Flat postorder claims for branch (2, 11).

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

                        Flat postorder claims for branch (2, 12).

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

                          Flat postorder claims for branch (2, 14).

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