Theorem singleton_div_ball

Modification history