Theorem Matroid.coindep_iff_closure_compl_eq_ground

Modification history

2024-11-11 16:21
Mathlib/Data/Matroid/Closure.lean
feat(Data/Matroid/Closure): Spanning sets in matroids (#18129) …
Added Matroid.coindep_iff_closure_compl_eq_groundView on Github →