Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification7

Kernel checks for hard-case certificate group 7.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate28_verifies :
partsGadgetHardCertificate28.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate29_verifies :
partsGadgetHardCertificate29.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate30_verifies :
partsGadgetHardCertificate30.Verifies