Theorem smul_closedBall_one

Modification history