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