mathlib3

5758ed34 - feat(data/fin/vec_notation): add matrix.range_singleton and matrix.range_pair (#18112)