mathlib

d360f3cb - feat(linear_algebra/free_module/finite/rank): add linear_algebra/free_module/finite/rank (#9832)