Generated edge-geometry checks, group 0.

theorem HadwigerNelsonBounds.partsGadgetEdgeCase0 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 0) : PartsGadgetEdgeCase 0 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase1 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 1) : PartsGadgetEdgeCase 1 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase2 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 2) : PartsGadgetEdgeCase 2 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase3 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 3) : PartsGadgetEdgeCase 3 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase4 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 4) : PartsGadgetEdgeCase 4 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase5 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 5) : PartsGadgetEdgeCase 5 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase6 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 6) : PartsGadgetEdgeCase 6 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase7 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 7) : PartsGadgetEdgeCase 7 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase8 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 8) : PartsGadgetEdgeCase 8 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase9 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 9) : PartsGadgetEdgeCase 9 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase10 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 10) : PartsGadgetEdgeCase 10 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase11 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 11) : PartsGadgetEdgeCase 11 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase12 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 12) : PartsGadgetEdgeCase 12 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase13 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 13) : PartsGadgetEdgeCase 13 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase14 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 14) : PartsGadgetEdgeCase 14 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase15 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 15) : PartsGadgetEdgeCase 15 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase16 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 16) : PartsGadgetEdgeCase 16 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase17 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 17) : PartsGadgetEdgeCase 17 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase18 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 18) : PartsGadgetEdgeCase 18 neighbor