Theorem mem_ball_iff_norm'''

Modification history