isCircuit

Mathlib.Combinatorics.Matroid.Circuit

URI: https://scilib.ai/kg/mathlib#Matroid.IsCocircuit.isCircuit

English

If K is a cocircuit in M, then K is a circuit in the dual matroid M✶.

Русский

Если K — кококрит в M, то K — контур в двойственном матроиде M✶.

LaTeX

$$$\text{IsCocircuit}_M(K) \Rightarrow M^{\ast}\text{IsCircuit}(K)$$$

Lean4

theorem isCircuit (hK : M.IsCocircuit K) : M✶.IsCircuit K :=
  hK

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

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

Разделы

Аффилиация

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