Theorem singleton_mul_closedBall_one

Modification history