Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardVerification5

Kernel checks for hard-case certificate group 5.

source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate20_verifies :
partsGadgetHardCertificate20.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate21_verifies :
partsGadgetHardCertificate21.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate22_verifies :
partsGadgetHardCertificate22.Verifies
source
theorem HadwigerNelsonBounds.partsGadgetHardCertificate23_verifies :
partsGadgetHardCertificate23.Verifies