Theorem Submodule.spanRank_top

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