Theorem SimpleGraph.mem_edgeFinset

Modification history