Theorem Int.ball_eq_Ioo

Modification history