coplanar_pair

Mathlib.LinearAlgebra.AffineSpace.FiniteDimensional

URI: https://scilib.ai/kg/mathlib#coplanar_pair

English

Two points are Coplanar.

Русский

Две точки копланарны.

LaTeX

$$Coplanar(k, {p1,p2})$$

Lean4

/-- Two points are coplanar. -/
theorem coplanar_pair (p₁ p₂ : P) : Coplanar k ({ p₁, p₂ } : Set P) :=
  (collinear_pair k p₁ p₂).coplanar

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

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

Разделы

Аффилиация

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