Theorem SimpleGraph.ConnectedComponent.Represents.exists_inter_eq_singleton

Modification history