Theorem ball_one_mul_singleton

Modification history