Theorem SimpleGraph.mul_adjMatrix_apply

Modification history