Theorem ball_and

Modification history