le

Mathlib.Combinatorics.Matroid.Minor.Order

URI: https://scilib.ai/kg/mathlib#Matroid.IsMinor.le

English

If N is a minor of M, then N is less than or equal to M in the base matroid order.

Русский

Если N является минором M, то N меньше или равно M в стандартном порядке матроидов.

LaTeX

$$(N \le_m M) \Rightarrow (N \le M)$$

Lean4

theorem le (h : N ≤m M) : N ≤ M :=
  h

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

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

Разделы

Аффилиация

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