Theorem Submodule.height_strictMono

Modification history

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