Theorem SimpleGraph.Subgraph.neighborSet_supₛ

Modification history