Я работаю в Изабель / HOL. Есть ли вогнутый эквивалент convex hull S в библиотеке? Если нет, то как...