Theorem mul_mem_closedBall_iff_norm

Modification history