Theorem Matroid.exists_mem_finite_closure_of_mem_closure

Modification history

2025-02-05 21:25
Mathlib/Data/Matroid/Circuit.lean
feat(Data/Matroid/Circuit): circuit elimination and finitary matroids (#21172) …
Added Matroid.exists_mem_finite_closure_of_mem_closureView on Github →