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