Theorem natCast_le_rank_iff

Modification history

2024-08-08 06:02
Mathlib/LinearAlgebra/Dimension/Finite.lean
chore: backports for leanprover/lean4#4814 (part 20) (#15440) …
Modified natCast_le_rank_iffView on Github →
2024-04-12 15:16
Mathlib/LinearAlgebra/Dimension/Finite.lean
feat: Generalize corollaries of rank-nullity theorem. (#9626) …
Added natCast_le_rank_iffView on Github →