mathlib3

59152548 - feat(data/matrix/rank): rank of a matrix (#10826)