Generated edge-geometry checks, group 2.

theorem HadwigerNelsonBounds.partsGadgetEdgeCase38 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 38) : PartsGadgetEdgeCase 38 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase39 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 39) : PartsGadgetEdgeCase 39 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase40 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 40) : PartsGadgetEdgeCase 40 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase41 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 41) : PartsGadgetEdgeCase 41 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase42 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 42) : PartsGadgetEdgeCase 42 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase43 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 43) : PartsGadgetEdgeCase 43 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase44 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 44) : PartsGadgetEdgeCase 44 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase45 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 45) : PartsGadgetEdgeCase 45 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase46 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 46) : PartsGadgetEdgeCase 46 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase47 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 47) : PartsGadgetEdgeCase 47 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase48 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 48) : PartsGadgetEdgeCase 48 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase49 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 49) : PartsGadgetEdgeCase 49 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase50 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 50) : PartsGadgetEdgeCase 50 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase51 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 51) : PartsGadgetEdgeCase 51 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase52 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 52) : PartsGadgetEdgeCase 52 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase53 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 53) : PartsGadgetEdgeCase 53 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase54 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 54) : PartsGadgetEdgeCase 54 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase55 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 55) : PartsGadgetEdgeCase 55 neighbor

theorem HadwigerNelsonBounds.partsGadgetEdgeCase56 {neighbor : Fin 73} (hadj : neighbor ∈ partsGadgetNeighbors 56) : PartsGadgetEdgeCase 56 neighbor