Theorem SimpleGraph.triangleRemovalBound_pos

Modification history