Theorem SimpleGraph.Subgraph.map_iso_top

Modification history