Theorem SimpleGraph.Subgraph.map_comp

Modification history