Theorem mem_closedBall_iff_norm''

Modification history