Theorem Module.finiteDimensionalOrder_submodule_iff

Modification history

2026-04-15 00:18
Mathlib/RingTheory/Length.lean
feat(RingTheory): adds two lemmas on `Module.length` (#36657) …
Added Module.finiteDimensionalOrder_submodule_iffView on Github →