mem_fundCircuit

Mathlib.Combinatorics.Matroid.Circuit

URI: https://scilib.ai/kg/mathlib#Matroid.mem_fundCircuit

English

The element e is always contained in its fundamental circuit: e ∈ fundCircuit e I.

Русский

Элемент e всегда принадлежит своему фундаментальному циклу: e ∈ fundCircuit e I.

LaTeX

$$$e \in fundCircuit\ M\ e\ I$$$

Lean4

theorem mem_fundCircuit (M : Matroid α) (e : α) (I : Set α) : e ∈ fundCircuit M e I :=
  mem_insert ..

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

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

Разделы

Аффилиация

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