Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification2

Kernel checks for hard-case certificate group 2.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate8_verifies :
partsGadgetHardCertificate8.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate9_verifies :
partsGadgetHardCertificate9.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate10_verifies :
partsGadgetHardCertificate10.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate11_verifies :
partsGadgetHardCertificate11.Verifies