Theorem Matroid.eq_loopyOn_iff_loops

Modification history

2025-04-14 18:04
Mathlib/Data/Matroid/Loop.lean
chore: tidy various files (#23975)
Modified Matroid.eq_loopyOn_iff_loopsView on Github →
2025-04-10 16:17
Mathlib/Data/Matroid/Loop.lean
feat(Matroid): loopless matroids (#23884) …
Added Matroid.eq_loopyOn_iff_loopsView on Github →