Theorem Real.closedBall_eq_segment

Modification history