Theorem mul_mem_ball_iff_norm

Modification history