Theorem Matroid.exists_subset_finite_closure_of_subset_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_subset_finite_closure_of_subset_closureView on Github →