Theorem SimpleGraph.ConnectedComponent.Represents.ncard_eq

Modification history