Theorem SimpleGraph.Copy.injective

Modification history