Theorem Matroid.ext_iff_indep

Modification history

2024-12-25 13:34
Mathlib/Data/Matroid/Basic.lean
chore(Data/Matroid): refactoring ext lemmas (#19664)
Added Matroid.ext_iff_indepView on Github →