Theorem SimpleGraph.adjMatrix_mulVec_apply

Modification history