Theorem Basis.flag_le_iff

Modification history

2025-07-24 16:31

Mathlib/LinearAlgebra/Basis/Flag.lean

chore: rename `Basis` to `Module.Basis` (#27381) …

Deleted Basis.flag_le_iff View on Github →

2023-08-25 21:13

Mathlib/LinearAlgebra/Basis/Flag.lean

feat(LinearAlgebra/Basis): flag defined by a basis (#6269) …

Added Basis.flag_le_iff View on Github →