Theorem balanced_convexHull_of_balanced

Modification history