Theorem SimpleGraph.Subgraph.sInf_adj_of_nonempty

Modification history