Theorem Real.ball_eq_Ioo

Modification history