Theorem SimpleGraph.edgeSet_injective

Modification history