Theorem Matrix.isAdjMatrix_compl

Modification history