Theorem Matroid.dual_indep_iff_exists'

Modification history

2025-02-16 22:38

Mathlib/Data/Matroid/Dual.lean

chore(Matroid): add 'Is' to predicate names (#21879) …

Modified Matroid.dual_indep_iff_exists'View on Github →

2024-05-12 02:17

Mathlib/Data/Matroid/Dual.lean

feat(Data/Matroid/*): add `Indep` as a structure field to `Matroid`. (#12665) …

Modified Matroid.dual_indep_iff_exists'View on Github →

2024-04-25 16:11

Mathlib/Data/Matroid/Dual.lean

feat(Data/Matroid/Dual): change dual notation (#12431) …

Modified Matroid.dual_indep_iff_exists'View on Github →

2023-12-13 00:15

Mathlib/Data/Matroid/Dual.lean

feat: matroid duality (#8732) …

Added Matroid.dual_indep_iff_exists'View on Github →