Theorem SimpleGraph.incidenceSet_subset

Modification history