Theorem SimpleGraph.toGraph_adjMatrix_eq

Modification history