Theorem Set.ball_insert_iff

Modification history