Theorem ball_one_div_singleton

Modification history