Theorem Submodule.le_spanRank_restrictScalars

Modification history

2026-02-02 08:04
Mathlib/Algebra/Module/SpanRank.lean
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank (#33359)
Added Submodule.le_spanRank_restrictScalarsView on Github →