mem_fundCocircuit

Mathlib.Combinatorics.Matroid.Circuit

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

English

The element e always lies in its own fundamental cocircuit.

Русский

Элемент e всегда принадлежит своей фундаментальной кококритке.

LaTeX

$$$e \in M.fundCocircuit(e,B)$$$

Lean4

theorem mem_fundCocircuit (M : Matroid α) (e : α) (B : Set α) : e ∈ M.fundCocircuit e B :=
  mem_insert _ _

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

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

Разделы

Аффилиация

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