Theorem SimpleGraph.adj_inj

Modification history