Theorem Matroid.Spanning.superset

Modification history

2024-11-11 16:21

Mathlib/Data/Matroid/Closure.lean

feat(Data/Matroid/Closure): Spanning sets in matroids (#18129) …

Added Matroid.Spanning.superset View on Github →