coloops

Mathlib.Combinatorics.Matroid.Loop

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

English

coloops(M) is defined as the loops of the dual: coloops(M) := M✶.loops.

Русский

coloops(M) задаётся как петли двойственного матроида: coloops(M) := M✶.loops.

LaTeX

$$$coloops(M) = M✶.loops$$$

Lean4

/-- `M.coloops` is the set of coloops of `M`. -/
def coloops (M : Matroid α) :=
  M✶.loops

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

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

Разделы

Аффилиация

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