Theorem mul_ball

Modification history