Theorem SimpleGraph.incidenceSet_inter_incidenceSet_subset

Modification history