Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification1

Kernel checks for hard-case certificate group 1.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate4_verifies :
partsGadgetHardCertificate4.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate5_verifies :
partsGadgetHardCertificate5.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate6_verifies :
partsGadgetHardCertificate6.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate7_verifies :
partsGadgetHardCertificate7.Verifies