Def Matroid.copyBase

Modification history

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