Def Matroid.uniqueBaseOn

Modification history

2024-06-07 19:37

Mathlib/Data/Matroid/Constructions.lean

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

Added Matroid.uniqueBaseOn View on Github →