Documentation

LeanPool.HadwigerNelsonBounds.PartsRootDecisionData3

Generated root-decision chunks 12 through 15.

source
def HadwigerNelsonBounds.partsRootDecisionChunk12 :
Array PartsRootNode

Root-decision data chunk 12.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def HadwigerNelsonBounds.partsRootDecisionChunk13 :
    Array PartsRootNode

    Root-decision data chunk 13.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def HadwigerNelsonBounds.partsRootDecisionChunk14 :
      Array PartsRootNode

      Root-decision data chunk 14.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def HadwigerNelsonBounds.partsRootDecisionChunk15 :
        Array PartsRootNode

        Root-decision data chunk 15.

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