Theorem SimpleGraph.Subgraph.comap_equiv_top

Modification history