Generated chunk 0 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate10 : PartsCertificate

Normalized root orbit 10, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate13 : PartsCertificate

Normalized root orbit 13, checked by Parts tree L5.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate16 : PartsCertificate

Normalized root orbit 16, checked by Parts tree L8.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate26 : PartsCertificate

Normalized root orbit 26, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate35 : PartsCertificate

Normalized root orbit 35, checked by Parts tree S.

Equations

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