mathlib3

c68e718a - feat(linear_algebra): maximal linear independent (#7160)

feat(linear_algebra): maximal linear independent (#7160) Co-authored by Anne Baanen and Kevin Buzzard Co-authored-by: Eric Wieser <wieser.eric@gmail.com>