ext

Mathlib.Analysis.Convex.Body

URI: https://scilib.ai/kg/mathlib#ConvexBody.ext

English

If two convex bodies have the same underlying set, then they are equal.

Русский

Если два выпуклых тела имеют одинаковое множество оснований, то они равны.

LaTeX

$$$K.carrier = L.carrier \Rightarrow K = L$$$

Lean4

@[ext]
protected theorem ext {K L : ConvexBody V} (h : (K : Set V) = L) : K = L :=
  SetLike.ext' h

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

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

Разделы

Аффилиация

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