Theorem SimpleGraph.triangleRemovalBound_mul_cube_lt

Modification history