Theorem Matroid.subset_closure_iff_forall_subset_flat

Modification history

2025-02-16 22:38
Mathlib/Data/Matroid/Closure.lean
chore(Matroid): add 'Is' to predicate names (#21879) …
Deleted Matroid.subset_closure_iff_forall_subset_flatView on Github →
2024-07-20 01:02
Mathlib/Data/Matroid/Closure.lean
feat(Data/Matroid/Closure): matroid closure (#14197) …
Added Matroid.subset_closure_iff_forall_subset_flatView on Github →