Generated hard-case certificates, data group 1.

def HadwigerNelsonBounds.partsGadgetHardCertificate5 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate5.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate6 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate6.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate7 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate7.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate8 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate8.

Equations

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