Theorem SimpleGraph.adj_incidenceSet_inter

Modification history