Theorem mem_closedBall_one_iff

Modification history