Theorem SimpleGraph.Partition.partOfVertex_ne_of_adj

Modification history