Documentation

LeanPool.HadwigerNelsonBounds.PartsRootDecisionData2

Generated root-decision chunks 8 through 11.

source
def HadwigerNelsonBounds.partsRootDecisionChunk8 :
Array PartsRootNode

Root-decision data chunk 8.

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

    Root-decision data chunk 9.

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

      Root-decision data chunk 10.

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

        Root-decision data chunk 11.

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