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

removeLoops_eq_restrict

Mathlib.Combinatorics.Matroid.Loop

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

← MathLib Explorer