∫ Утверждение Mathlib
cRank_eq_iSup_cardinalMk_indep
Mathlib.Combinatorics.Matroid.Rank.Cardinal
URI: https://scilib.ai/kg/mathlib#Matroid.cRank_eq_iSup_cardinalMk_indep
∫ Утверждение Mathlib
Mathlib.Combinatorics.Matroid.Rank.Cardinal
URI: https://scilib.ai/kg/mathlib#Matroid.cRank_eq_iSup_cardinalMk_indep