Theorem SimpleGraph.Path.mapEmbedding_injective

Modification history