Theorem mul_mem_closedBall_mul_iff

Modification history