Theorem SimpleGraph.Partition.mem_partOfVertex

Modification history