Theorem SimpleGraph.Iso.connected_iff

Modification history