mathlib

63903f27 - doc(linear_algebra/free_module/strong_rank_condition): correct a typo (#9565)