Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetVerification

Kernel verification of the two normalized second-stage coloring trees.

source
theorem HadwigerNelsonBounds.partsGadgetMiddleCertificate_verifies :
partsGadgetMiddleCertificate.Verifies

The middle-color normalized second-stage certificate checks by reduction.