Theorem SimpleGraph.incMatrix_mul_transpose

Modification history