Theorem CommSemiring.rank_self

Modification history

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