Theorem SimpleGraph.incidenceSet_inter_incidenceSet_of_adj

Modification history