Theorem Submodule.lt_sup_iff_not_mem

Modification history

2023-08-25 21:13

Mathlib/LinearAlgebra/Span.lean

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

Modified Submodule.lt_sup_iff_not_mem View on Github →

2023-02-14 14:29

Mathlib/LinearAlgebra/Span.lean

feat: port LinearAlgebra.Span (#2248)

Added Submodule.lt_sup_iff_not_mem View on Github →