Theorem SimpleGraph.trace_adjMatrix

Modification history