Theorem SimpleGraph.incMatrix_apply_mul_incMatrix_apply_of_not_adj

Modification history