Def Matroid.freeOn

Modification history

2024-06-07 19:37

Mathlib/Data/Matroid/Constructions.lean

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

Added Matroid.freeOn View on Github →