Theorem SimpleGraph.Partition.partOfVertex_mem

Modification history