Theorem SimpleGraph.Subgraph.le_induce_union

Modification history