Theorem SimpleGraph.Subgraph.neighborSet_supᵢ

Modification history