Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification4

Kernel checks for hard-case certificate group 4.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate16_verifies :
partsGadgetHardCertificate16.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate17_verifies :
partsGadgetHardCertificate17.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate18_verifies :
partsGadgetHardCertificate18.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate19_verifies :
partsGadgetHardCertificate19.Verifies