Generated edge-geometry checks, group 3.
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase57
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 57)
:
PartsGadgetEdgeCase 57 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase58
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 58)
:
PartsGadgetEdgeCase 58 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase59
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 59)
:
PartsGadgetEdgeCase 59 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase60
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 60)
:
PartsGadgetEdgeCase 60 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase61
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 61)
:
PartsGadgetEdgeCase 61 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase62
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 62)
:
PartsGadgetEdgeCase 62 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase63
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 63)
:
PartsGadgetEdgeCase 63 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase64
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 64)
:
PartsGadgetEdgeCase 64 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase65
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 65)
:
PartsGadgetEdgeCase 65 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase66
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 66)
:
PartsGadgetEdgeCase 66 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase67
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 67)
:
PartsGadgetEdgeCase 67 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase68
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 68)
:
PartsGadgetEdgeCase 68 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase69
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 69)
:
PartsGadgetEdgeCase 69 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase70
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 70)
:
PartsGadgetEdgeCase 70 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase71
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 71)
:
PartsGadgetEdgeCase 71 neighbor
theorem
HadwigerNelsonBounds.partsGadgetEdgeCase72
{neighbor : Fin 73}
(hadj : neighbor ∈ partsGadgetNeighbors 72)
:
PartsGadgetEdgeCase 72 neighbor