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

restrict_ground_eq_self

Mathlib.Combinatorics.Matroid.Minor.Restrict

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

← MathLib Explorer