Generated hard-case certificates, data group 0.

def HadwigerNelsonBounds.partsGadgetHardCertificate0 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate0.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate1 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate1.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate2 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate2.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate3 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate3.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate4 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate4.

Equations

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