Theorem Matroid.ext_indep

Modification history

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