Theorem Submodule.length_lt

Modification history

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