Theorem SimpleGraph.incMatrix_transpose_mul_diag

Modification history