Theorem SimpleGraph.triangleRemovalBound_nonpos

Modification history