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