Theorem ball_or_left

Modification history