Added theory Helly_Selection.thy