Theorem SimpleGraph.adj_of_mem_incidenceSet

Modification history