Theorem Matroid.Indep.exists_eq_image_of_mapSetEmbedding

Modification history

2024-06-26 17:56
Mathlib/Data/Matroid/Map.lean
feat(Data/Matroid/Map): maps between matroids (#13960) …
Added Matroid.Indep.exists_eq_image_of_mapSetEmbeddingView on Github →