Theorem SimpleGraph.triangle_removal

Modification history