Generated edge-geometry checks, group 1.

theorem HadwigerNelsonBounds.partsGadgetEdgeCase19 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 19) : PartsGadgetEdgeCase 19 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase20 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 20) : PartsGadgetEdgeCase 20 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase21 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 21) : PartsGadgetEdgeCase 21 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase22 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 22) : PartsGadgetEdgeCase 22 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase23 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 23) : PartsGadgetEdgeCase 23 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase24 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 24) : PartsGadgetEdgeCase 24 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase25 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 25) : PartsGadgetEdgeCase 25 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase26 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 26) : PartsGadgetEdgeCase 26 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase27 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 27) : PartsGadgetEdgeCase 27 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase28 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 28) : PartsGadgetEdgeCase 28 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase29 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 29) : PartsGadgetEdgeCase 29 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase30 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 30) : PartsGadgetEdgeCase 30 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase31 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 31) : PartsGadgetEdgeCase 31 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase32 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 32) : PartsGadgetEdgeCase 32 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase33 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 33) : PartsGadgetEdgeCase 33 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase34 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 34) : PartsGadgetEdgeCase 34 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase35 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 35) : PartsGadgetEdgeCase 35 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase36 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 36) : PartsGadgetEdgeCase 36 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase37 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 37) : PartsGadgetEdgeCase 37 neighbor