Generated chunk 3 of the Parts coloring-tree certificate.

def HadwigerNelsonBounds.partsBaseCertificate2 : PartsCertificate

Normalized root orbit 2, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate11 : PartsCertificate

Normalized root orbit 11, checked by Parts tree L2.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate15 : PartsCertificate

Normalized root orbit 15, checked by Parts tree S.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate24 : PartsCertificate

Normalized root orbit 24, checked by Parts tree L8.

Equations

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

def HadwigerNelsonBounds.partsBaseCertificate30 : PartsCertificate

Normalized root orbit 30, checked by Parts tree S.

Equations

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