Generated chunk 6 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate1 : PartsCertificate

Normalized root orbit 1, checked by Parts tree L1.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate7 : PartsCertificate

Normalized root orbit 7, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate22 : PartsCertificate

Normalized root orbit 22, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate27 : PartsCertificate

Normalized root orbit 27, checked by Parts tree L6.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate33 : PartsCertificate

Normalized root orbit 33, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate34 : PartsCertificate

Normalized root orbit 34, checked by Parts tree L7.

Equations

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