Def Matroid.loopyOn

Modification history

2024-06-07 19:37

Mathlib/Data/Matroid/Constructions.lean

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

Added Matroid.loopyOn View on Github →