Theorem SimpleGraph.ConnectedComponent.Represents.ncard_inter

Modification history