Theorem Matroid.isRkFinite_singleton

Modification history

2025-05-05 14:12
Mathlib/Data/Matroid/Rank/Finite.lean
feat(Matroid/Rank): more rank API (#23951) …
Modified Matroid.isRkFinite_singletonView on Github →
2025-02-13 11:34
Mathlib/Data/Matroid/Rank/Finite.lean
feat(Data/Matroid/Rank): finite-rank sets in matroids (#21694) …
Added Matroid.isRkFinite_singletonView on Github →