Theorem SimpleGraph.edgeFinset_sup_edge

Modification history