Theorem mul_ball_one

Modification history