Def Matroid.emptyOn

Modification history

2024-06-07 19:37

Mathlib/Data/Matroid/Constructions.lean

feat(Data/Matroid/Constructions): simple constructions of matroids (#12415) …

Added Matroid.emptyOn View on Github →