Theorem ball_mul_singleton

Modification history