Theorem SimpleGraph.ConnectedComponent.supp_inj

Modification history