Theorem Matroid.insert_base_of_insert_indep

Modification history

2025-01-20 15:06
Mathlib/Data/Matroid/Basic.lean
chore(Data/Matroid/Basic): a few tweaks to `Matroid.Basic` (#19836) …
Added Matroid.insert_base_of_insert_indepView on Github →