minimal

Mathlib.Combinatorics.Matroid.Circuit

URI: https://scilib.ai/kg/mathlib#Matroid.IsCircuit.minimal

English

Minimality of Dep on a circuit.

Русский

Минимальность Dep для цепи.

LaTeX

$$$ \\text{Minimal } M.Dep C $$$

Lean4

theorem minimal (hC : M.IsCircuit C) : Minimal M.Dep C :=
  hC

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

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

Разделы

Аффилиация

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