Theorem Real.closedBall_eq_Icc

Modification history