Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification6

Kernel checks for hard-case certificate group 6.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate24_verifies :
partsGadgetHardCertificate24.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate25_verifies :
partsGadgetHardCertificate25.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate26_verifies :
partsGadgetHardCertificate26.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate27_verifies :
partsGadgetHardCertificate27.Verifies