Theorem IndepMatroid.ofFinitaryCardAugment_indep

Modification history

2025-01-20 16:09
Mathlib/Data/Matroid/IndepAxioms.lean
feat(Data/Matroid/IndepAxioms): Another constructor for finitary matroids (#20877) …
Added IndepMatroid.ofFinitaryCardAugment_indepView on Github →