Theorem Set.ball_empty_iff

Modification history