Theorem SimpleGraph.ConnectedComponent.supp_injective

Modification history