Generated hard-case certificates, data group 5.

def HadwigerNelsonBounds.partsGadgetHardCertificate24 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate24.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate25 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate25.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate26 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate26.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate27 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate27.

Equations

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