Generated chunk 4 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate5 : PartsCertificate

Normalized root orbit 5, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate18 : PartsCertificate

Normalized root orbit 18, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate20 : PartsCertificate

Normalized root orbit 20, checked by Parts tree L2.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate25 : PartsCertificate

Normalized root orbit 25, checked by Parts tree L8.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate31 : PartsCertificate

Normalized root orbit 31, checked by Parts tree S.

Equations

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