Theorem SimpleGraph.singletonFinsubgraph_le_adj_left

Modification history