Theorem SimpleGraph.Iso.connectedComponentEquiv_symm

Modification history