Theorem SimpleGraph.adjMatrix_apply

Modification history