Theorem Matrix.IsAdjMatrix.adjMatrix_toGraph_eq

Modification history