Structures · Combinatorics
Matroid.Nonempty
Typeclass for a matroid having nonempty ground set. Just a wrapper for M.E.Nonempty.
- Defined in
- Mathlib.Combinatorics.Matroid.Basic
- Shape
- One type argument · adds ground_nonempty
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by1
Forgetful instances
Provided automatically by
Concrete types that are instances1
- Set.Elem
How is a type an instance?
Loading the hierarchy index…
Assumed by10
Ancestors0
No ancestors.