Generated Middle certificate chunks 0 through 0.

def HadwigerNelsonBounds.partsGadgetMiddleChunk0 : Array PartsGadgetTreeNode

Middle certificate chunk 0.

Equations

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