Theorem SimpleGraph.incidence_other_neighbor_edge

Modification history