Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification3

Kernel checks for hard-case certificate group 3.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate12_verifies :
partsGadgetHardCertificate12.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate13_verifies :
partsGadgetHardCertificate13.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate14_verifies :
partsGadgetHardCertificate14.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate15_verifies :
partsGadgetHardCertificate15.Verifies