isBasis_ground

Mathlib.Combinatorics.Matroid.Basic

URI: https://scilib.ai/kg/mathlib#Matroid.IsBase.isBasis_ground

English

If B is a base, then B is a basis for the ground E.

Русский

Если B является базой, тогда B — база для основания E.

LaTeX

$$$ M.IsBase B \Rightarrow M.IsBasis B M.E $$$

Lean4

theorem isBasis_ground (hB : M.IsBase B) : M.IsBasis B M.E :=
  isBasis_ground_iff.mpr hB

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

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

Разделы

Аффилиация

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