Theorem SimpleGraph.Subgraph.map_mono

Modification history