Theorem Submodule.height_lt_top

Modification history

2025-04-17 13:52
Mathlib/RingTheory/Length.lean
feat: add lemma `Submodule.length_lt` (#24133) …
Added Submodule.height_lt_topView on Github →