Theorem SimpleGraph.iInf_adj_of_nonempty

Modification history