Theorem Real.ball_eq_openSegment

Modification history