Theorem balanced_iff_closedBall_smul

Modification history