Def SimpleGraph.recolorOfEmbedding

Modification history