Theorem SimpleGraph.sdiff_edge

Modification history