∫ Утверждение Mathlib
restrict_finite
Mathlib.Combinatorics.Matroid.Minor.Restrict
URI: https://scilib.ai/kg/mathlib#Matroid.restrict_finite
∫ Утверждение Mathlib
Mathlib.Combinatorics.Matroid.Minor.Restrict
URI: https://scilib.ai/kg/mathlib#Matroid.restrict_finite