Theorem singleton_mul_closedBall

Modification history