Def Matroid.copyIndep

Modification history

2025-01-20 19:50
Mathlib/Data/Matroid/Basic.lean
feat(Data/Matroid/Basic): matroid congruence definitions (#20876) …
Added Matroid.copyIndepView on Github →