Generated chunk 5 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate6 : PartsCertificate

Normalized root orbit 6, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate8 : PartsCertificate

Normalized root orbit 8, checked by Parts tree L3.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate9 : PartsCertificate

Normalized root orbit 9, checked by Parts tree L4.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate12 : PartsCertificate

Normalized root orbit 12, checked by Parts tree L4.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate21 : PartsCertificate

Normalized root orbit 21, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate32 : PartsCertificate

Normalized root orbit 32, checked by Parts tree S.

Equations

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