Theorem Module.one_le_rank_iff

Modification history

2025-11-28 14:12
Mathlib/LinearAlgebra/Dimension/Basic.lean
feat(LinearAlgebra): rank of commutative semiring over itself (#32123)
Added Module.one_le_rank_iffView on Github →