IsCocircuit — Mathlib

English

A cocircuit is a circuit of the dual matroid (equivalently the complement of a hyperplane).

Русский

Кококрит — это контур двойственного матроидa (эквивалентно дополнению гиперплоскости).

LaTeX

$$$\text{IsCocircuit}_M(K) \iff K \text{ is a circuit in } M^\ast$$$

Lean4

/-- A cocircuit is a circuit of the dual matroid,
or equivalently the complement of a hyperplane. -/
abbrev IsCocircuit (M : Matroid α) (K : Set α) : Prop :=
  M✶.IsCircuit K

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