Theorem smul_closedBall''

Modification history