Theorem CommSemiring.finrank_self

Modification history

2025-11-28 14:12

Mathlib/LinearAlgebra/Dimension/Finrank.lean

feat(LinearAlgebra): rank of commutative semiring over itself (#32123)

Added CommSemiring.finrank_self View on Github →