Theorem SimpleGraph.edgeFinset_inj

Modification history