mathlib

c8f41ac0 - chore(linear_algebra/dimension): rename lemmas about module.rank to use the word rank