Theorem SimpleGraph.Iso.map_mem_edgeSet_iff

Modification history