Generated hard-case certificates, data group 3.

def HadwigerNelsonBounds.partsGadgetHardCertificate11 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate11.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate12 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate12.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate13 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate13.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate14 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate14.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate15 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate15.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate16 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate16.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate17 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate17.

Equations

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

def HadwigerNelsonBounds.partsGadgetHardCertificate18 : PartsGadgetCertificate

Independently checked hard-case certificate partsGadgetHardCertificate18.

Equations

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