Theorem SimpleGraph.incMatrix_apply

Modification history