Theorem rank_le_of_isSMulRegular

Modification history

2024-11-23 13:41
Mathlib/LinearAlgebra/Dimension/Basic.lean
chore: rename *of_smul_regular lemmas (#19326)
Added rank_le_of_isSMulRegularView on Github →