Theorem Matroid.nonempty_type

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.nonempty_typeView on Github →