Theorem SimpleGraph.adj_injective

Modification history