Theorem SimpleGraph.Hom.mapEdgeSet.injective

Modification history