Theorem SimpleGraph.adjMatrix_dotProduct

Modification history