Generated hard-case certificates, data group 4.

def HadwigerNelsonBounds.partsGadgetHardCertificate19 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate19.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate20 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate20.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate21 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate21.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate22 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate22.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate23 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate23.

Equations

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