Theorem SimpleGraph.edgeSet_sSubset_edgeSet

Modification history