Theorem SimpleGraph.Preconnected.support_eq_univ

Modification history