Theorem Submodule.finrank_lt

Modification history

2025-04-17 13:52
Mathlib/LinearAlgebra/FiniteDimensional/Lemmas.lean
feat: add lemma `Submodule.length_lt` (#24133) …
Modified Submodule.finrank_ltView on Github →
2023-04-25 11:42
Mathlib/LinearAlgebra/FiniteDimensional.lean
feat: port LinearAlgebra.FiniteDimensional (#3466)
Added Submodule.finrank_ltView on Github →