Theorem smul_ball''

Modification history