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