Theorem SimpleGraph.Subgraph.bot_verts

Modification history