Generated chunk 2 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate0 : PartsCertificate

Normalized root orbit 0, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate4 : PartsCertificate

Normalized root orbit 4, checked by Parts tree L2.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate14 : PartsCertificate

Normalized root orbit 14, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate19 : PartsCertificate

Normalized root orbit 19, checked by Parts tree L8.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate29 : PartsCertificate

Normalized root orbit 29, checked by Parts tree S.

Equations

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