Theorem SimpleGraph.incidenceSet_inter_incidenceSet_of_not_adj

Modification history