Theorem rank_le_one

Modification history

2025-12-08 23:04
Mathlib/LinearAlgebra/Dimension/Finite.lean
chore(LinearAlgebra/Dimension): generalize and golf (#32339) …
Added rank_le_oneView on Github →