Theorem rank_fun_infinite
Modification history
2024-12-09 12:57
Mathlib/LinearAlgebra/Dimension/DivisionRing.lean
chore: don't need group-theoretic exponent to set up finite dimensional vector spaces (#19827)
Modified rank_fun_infiniteView on Github →