Theorem Matrix.IsAdjMatrix.toGraph_compl_eq

Modification history