Theorem Submodule.spanRank_range_le

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.spanRank_range_le View on Github →