Theorem Matroid.loopless_iff_forall_not_isLoop

Modification history

2025-04-10 16:17
Mathlib/Data/Matroid/Loop.lean
feat(Matroid): loopless matroids (#23884) …
Added Matroid.loopless_iff_forall_not_isLoopView on Github →