convex

Mathlib.Analysis.Convex.Cone.Basic

URI: https://scilib.ai/kg/mathlib#ProperCone.convex

English

A proper cone, when viewed as a subset, is convex.

Русский

Правильный конус, как множество, выпукл.

LaTeX

$$Convex$R\,(C : Set\,E)$$$

Lean4

protected theorem convex (C : ProperCone R E) : Convex R (C : Set E) :=
  C.toPointedCone.convex

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru