Theorem closedBall_mul_singleton

Modification history