∫ Утверждение Mathlib

eRank_le_encard_ground

Mathlib.Combinatorics.Matroid.Rank.ENat

URI: https://scilib.ai/kg/mathlib#Matroid.eRank_le_encard_ground

← MathLib Explorer