Theorem SimpleGraph.edgeSet_sdiff_sdiff_isDiag

Modification history