Generated chunk 1 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate3 : PartsCertificate

Normalized root orbit 3, checked by Parts tree L2.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate17 : PartsCertificate

Normalized root orbit 17, checked by Parts tree L8.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate23 : PartsCertificate

Normalized root orbit 23, checked by Parts tree L2.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate28 : PartsCertificate

Normalized root orbit 28, checked by Parts tree S.

Equations

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